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

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.