next up previous contents index
Next: apply Up: FiniteSet Previous: FiniteSet   Contents   Index


size


\begin{usage} \char93 \end{usage}

\begin{signatures} \char93 : & \htmlref{\texttt{Integer}}{Integer}\\ \end{signatures}

\begin{retval} Returns the number of elements of the type. \end{retval}

Manuel Bronstein 2000-12-13