sequence

Next: Symbol Up: Sequence Previous: random Contents Index

sequence

$\begin{usage} sequence~s \end{usage}$

Signature

sequence: Stream R $\to$ %

$\begin{params} {\em s} & \htmlref{\texttt{Stream}}{Stream} R & a stream\\ \end{params}$

$\begin{retval} Returns $s$\ viewed as a sequence. \end{retval}$

Manuel Bronstein 2000-12-13