sig
  module 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
end