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