module Namespace_names: sig
.. end
type
ncname = string
type
prefix =
| |
NSDefaultElementPrefix |
| |
NSDefaultFunctionPrefix |
| |
NSWildcardPrefix |
| |
NSPrefix of ncname |
| |
NSInterfacePrefix of ncname |
| |
NSServerPrefix of ncname |
val new_prefix : string -> prefix
val string_of_prefix : prefix -> string
type
uri =
| |
NSUri of string |
| |
NSWildcardUri |
val string_of_uri : uri -> string
val quoted_string_of_uri : uri -> string
val curly_string_of_uri : uri -> string
type
uqname = prefix * ncname
val uqname_element_of_string : string -> uqname
val uqname_element_of_raw_string : string -> uqname
val uqname_function_of_string : string -> uqname
val wildcard_uqname_of_string : string -> uqname
val escaped_uqname_of_string : string -> uqname
val string_of_uqname : uqname -> string
type
rqname = prefix * uri * ncname
val rqname_compare : rqname -> rqname -> int
val rqname_equal : rqname -> rqname -> bool
val rqname_int_equal : rqname * int -> rqname * int -> bool
val uqname_of_rqname : rqname -> uqname
val prefixed_string_of_rqname : rqname -> string
val quoted_uri_string_of_rqname : rqname -> string
val curly_uri_string_of_rqname : rqname -> string
val parse_curly_uri_string : string -> rqname
val prefix_hash : prefix -> int
val uri_hash : uri -> int
val ncname_hash : ncname -> int