# 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`.