Symbolic.Symbol
Generation of unique symbols
type t
val fresh : unit -> t
Generates a fresh symbol.
val repr : t -> string
Returns the string representation of a symbol.
val index : t -> int
Returns the index of a symbol (each symbol has a unique index).