Module Nfa

module Nfa: sig .. end

module type NFA = sig .. end

module MakeNFA: 
functor (State : Set.OrderedType) -> 
functor (Letter : Set.OrderedType) -> NFA  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