Module type Regexp.GlushkovType

module type GlushkovType = sig .. end

module Regexp: Regexp.RegexpType 

module NFA: Nfa.NFA 

module DFA: Dfa.DFA 

module NFAPair: Nfa.NFA 

val build_glushkov : Regexp.regexp -> NFA.nfa

val build_dtm_glushkov : Regexp.regexp -> DFA.dfa

val negates_in_alphabet_space : DFA.dfa -> DFA.Alphabet.t -> DFA.dfa

val intersects : NFA.nfa -> NFA.nfa -> NFAPair.nfa

val intersects_dtm : NFA.nfa -> DFA.dfa -> NFAPair.nfa

val print_intersection : (NFAPair.Alphabet.elt -> unit) ->
       (NFAPair.StateSet.elt -> unit) -> NFAPair.nfa -> unit