Module Cf_dfa.T.S

module S: Cf_dfa.Symbol_T 

The module used as the input to the Create(SSymbol_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.