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