module Dfa:sig
..end
module type DFA =sig
..end
module MakeDFA:functor (
State
:
Set.OrderedType
) ->
functor (
Letter
:
Set.OrderedType
) ->
DFA
with type state = State.t and type letter = Letter.t and type StateSet.elt = State.t and type Alphabet.elt = Letter.t and type StateToTransitionMap.key = State.t and type TransitionMap.key = Letter.t