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