next up previous contents index
Next: Utilities Up: Token Previous: name   Contents   Index


token


\begin{usage}
token~a
\end{usage}

\begin{signatures}
token: & \htmlref{\texttt{Character}}{Character} $\to$\ \ht...
...hineInteger} $\to$\ \htmlref{\texttt{Partial}}{Partial} \%\\\end{signatures}

\begin{params}
{\em a} & \htmlref{\texttt{Character}}{Character} & A single ch...
...t{MachineInteger}}{MachineInteger} & A code of a special token\\\end{params}

\begin{retval}
Returns the token corresponding to the single character $a$,
{\it failed}\xspace if there is none.
\end{retval}



Manuel Bronstein 2000-12-13