Module Dfa

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