(***********************************************************************)
(*                                                                     *)
(*                                 GALAX                               *)
(*                            XML Query Engine                         *)
(*                                                                     *)
(*  Copyright 2001, Lucent Technologies.                               *)
(*  Distributed only by permission.                                    *)
(*                                                                     *)
(***********************************************************************)
open Error
open Fsa
open Dfa

val intersects : TypeName_NFA.nfa -> TypeName_NFA.nfa -> TypeName_NFA_Pair.nfa
val intersects_dtm : TypeName_NFA.nfa -> TypeName_DFA.dfa -> TypeName_NFA_Pair.nfa
val print_intersection : TypeName_NFA_Pair.nfa -> unit
