Module type Cf_dfa.Symbol_T


module type Symbol_T = sig .. end
The type of the input module for Create(S: Symbol_T) functor defined below.

type t 
The symbol type
val size : int
The size of an array containing an element for every symbol.
val to_int : t -> int
A function to map a symbol to its integer number. Must not return a value less than size, and of_int (to_int symbol) must be equivalent to the identity function.
val of_int : int -> t
A function to map an integer number to its symbol.