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

type 'a map

The type of maps from symbols to polymorphic types.

val map : (t -> 'a) -> 'a map

The engine uses map f to construct a map from symbols to state transitions.

val get : 'a map -> t -> 'a

The engine uses get m s to get the state transition from map m for the symbol s.