module type Symbol_T =The type of the input module forsig
..end
Create(S: Symbol_T)
functor defined
below.type
t
val size : int
val to_int : t -> int
size
, and of_int (to_int symbol)
must be
equivalent to the identity function.val of_int : int -> t