(***********************************************************************)
(*                                                                     *)
(*                                 GALAX                               *)
(*                            XML Query Engine                         *)
(*                                                                     *)
(*  Copyright 2000, Lucent Technologies.                               *)
(*  Distributed only by permission.                                    *)
(*                                                                     *)
(***********************************************************************)

val compareLocal : string -> string -> bool
val getLocalName : Xml_ast.xml_node -> string
val isAttrWithName : string -> Sym.attr_symbol * 'a -> bool
val getAttrString : Sym.attr_symbol * 'a -> 'a
val getFromAttrlist : (Sym.attr_symbol * 'a) list -> string -> Sym.attr_symbol * 'a
val probeAttr : (Sym.attr_symbol * 'a) list -> string -> 'a option

val map_xml_schema : Namespace.prefix -> Xml_ast.xml_schema_document -> Namespace.prefix * Namespace.uri * Xquery_ast.sort_decl list

