next up previous contents index
Next: bound,finite? Up: Sequence Previous: Sequence   Contents   Index


size


\begin{usage} \char93 ~s \end{usage}

\begin{signatures} \char93 : & \% $\to$\ \htmlref{\texttt{MachineInteger}}{MachineInteger}\\ \end{signatures}

\begin{params} {\em s} & \% & a sequence\\ \end{params}

\begin{retval} Returns the number of elements of $s$\ that have been computed. \end{retval}

Manuel Bronstein 2000-12-13