Module Regexp

module Regexp: sig .. end

module type RegexpType = sig .. end

module MakeRegexpType: 
functor (Letter : Set.OrderedType) -> RegexpType  with type letter = Letter.t

module type GlushkovType = sig .. end

module MakeGlushkovType: 
functor (Letter : Set.OrderedType) -> GlushkovType  with type Regexp.letter = Letter.t
       and type NFA.letter = Letter.t
       and type NFA.Alphabet.elt = Letter.t
       and type NFA.StateToTransitionMap.key = int
       and type NFA.TransitionMap.key = Letter.t
       and type NFA.StateSet.elt = int
       and type DFA.letter = Letter.t
       and type DFA.Alphabet.elt = Letter.t
       and type DFA.StateToTransitionMap.key = int
       and type DFA.TransitionMap.key = Letter.t
       and type DFA.StateSet.elt = int
       and type NFAPair.letter = Letter.t
       and type NFAPair.Alphabet.elt = Letter.t
       and type NFAPair.StateToTransitionMap.key = int * int
       and type NFAPair.TransitionMap.key = Letter.t
       and type NFAPair.StateSet.elt = int * int