name

Next: operator Up: Token Previous: leaf Contents Index

name

$\begin{usage} name~l \end{usage}$

Signature

name: List Character $\to$ %

$\begin{params} $[c_0,\dots,c_n]$\ & \htmlref{\texttt{List}}{List} \htmlref{\texttt{Character}}{Character} & A list of characters\\ \end{params}$

$\begin{retval} name($[c_0,\dots,c_n]$) returns the name $c_n c_{n-1} \dots c_0$as a token representing a constant symbol. \end{retval}$

See Also

prefix, string

Manuel Bronstein 2000-12-13