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
.