next up previous contents index
Next: Up: Monoid Previous: Monoid   Contents   Index

$1$


\begin{usage} $1$ \end{usage}


Signature


\begin{retval} Returns the constant $1$. \end{retval}

Manuel Bronstein 2000-12-13