Module Subtyping_glushkov

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