module S:The module used as the input to theCf_dfa.Symbol_T
Create(S: Symbol_T)
functor.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