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.