Symbol

Next: Up: Utilities Previous: sequence Contents Index

Symbol

$\begin{usage} import from Symbol \end{usage}$

$\begin{descr} Symbol provides symbols,~{\it i.e.}read--only strings with constant--time comparison. \end{descr}$

Exports

HashType

InputType

SerializableType

SumitType

: String $\to$ % Create a symbol

name: % $\to$ String Name of a symbol

new: () $\to$ % Create a new symbol

Subscripted name of a symbol

Subsections

name
new

Manuel Bronstein 2000-12-13

`HashType`
`InputType`
`SerializableType`
`SumitType`
:	`String` $\to$ %	Create a symbol
`name`:	% $\to$ `String`	Name of a symbol
`new`:	() $\to$ %	Create a new symbol
Subscripted name of a symbol