module Subtyping_glushkov:sig
..end
module OrderedNamePairs:Set.OrderedType
with type t = Subtyping_letter.actual_letter
module TypeName_Glushkov:Regexp.GlushkovType
with type Regexp.letter = OrderedNamePairs.t and type NFA.letter = OrderedNamePairs.t and type NFA.Alphabet.elt = OrderedNamePairs.t and type NFA.StateToTransitionMap.key = int and type NFA.TransitionMap.key = OrderedNamePairs.t and type NFA.StateSet.elt = int and type DFA.letter = OrderedNamePairs.t and type DFA.Alphabet.elt = OrderedNamePairs.t and type DFA.StateToTransitionMap.key = int and type DFA.TransitionMap.key = OrderedNamePairs.t and type DFA.StateSet.elt = int and type NFAPair.letter = OrderedNamePairs.t and type NFAPair.Alphabet.elt = OrderedNamePairs.t and type NFAPair.StateToTransitionMap.key = int * int and type NFAPair.TransitionMap.key = OrderedNamePairs.t and type NFAPair.StateSet.elt = int * int