Module Cf_dfa.T.S

module S: Cf_dfa.Symbol_T

The module used as the input to the Create(S: Symbol_T) functor.

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.