Module Namespace_symbols

module Namespace_symbols: sig .. end

type prefix_symbol = int 

type uri_symbol = int 

type ncname_symbol = int 

type symbol = prefix_symbol * uri_symbol *
       ncname_symbol 

val symbol_equal : symbol -> symbol -> bool

val symbol_hash : symbol -> int

val symbol_prefix_string : symbol -> string

type relem_symbol = symbol 

val relem_symbol : Namespace_names.rqname -> relem_symbol

val relem_name : relem_symbol -> Namespace_names.rqname

val relem_uname : Namespace_context.nsenv ->
       relem_symbol -> Namespace_names.uqname

val relem_name_with_binding : Namespace_context.nsenv ->
       relem_symbol ->
       Namespace_names.uqname * Namespace_context.binding option *
       Namespace_context.binding

val relem_equal : symbol -> symbol -> bool

val relem_subtag : symbol -> symbol -> bool

val relem_prefix : relem_symbol -> Namespace_names.prefix

val relem_string : relem_symbol -> string

val relem_prefix_string : relem_symbol -> string

val anyrelem : relem_symbol

type rattr_symbol = symbol 

val rattr_symbol : Namespace_names.rqname -> rattr_symbol

val rattr_name : rattr_symbol -> Namespace_names.rqname

val rattr_uname : Namespace_context.nsenv ->
       rattr_symbol -> Namespace_names.uqname

val rattr_name_with_binding : Namespace_context.nsenv ->
       rattr_symbol ->
       Namespace_names.uqname * Namespace_context.binding option *
       Namespace_context.binding

val rattr_equal : symbol -> symbol -> bool

val rattr_subtag : symbol -> symbol -> bool

val rattr_prefix : rattr_symbol -> Namespace_names.prefix

val rattr_string : rattr_symbol -> string

val rattr_prefix_string : rattr_symbol -> string

val anyrattr : rattr_symbol

type rtype_symbol = symbol 

val rtype_name : rtype_symbol -> Namespace_names.rqname

val rtype_symbol : Namespace_names.rqname -> rtype_symbol

val rtype_prefix : rtype_symbol -> Namespace_names.prefix

val rtype_equal : symbol -> symbol -> bool

val rtype_subtag : symbol -> symbol -> bool

val rtype_string : rtype_symbol -> string

val rtype_prefix_string : rtype_symbol -> string

val anytype : rtype_symbol

val anysimpletype : rtype_symbol

val stringsym : rtype_symbol

val booleansym : rtype_symbol

val decimalsym : rtype_symbol

val floatsym : rtype_symbol

val doublesym : rtype_symbol

val durationsym : rtype_symbol

val dateTimesym : rtype_symbol

val timesym : rtype_symbol

val datesym : rtype_symbol

val gYearMonthsym : rtype_symbol

val gYearsym : rtype_symbol

val gMonthDaysym : rtype_symbol

val gDaysym : rtype_symbol

val gMonthsym : rtype_symbol

val hexBinarysym : rtype_symbol

val base64Binarysym : rtype_symbol

val anyURIsym : rtype_symbol

val qnamesym : rtype_symbol

val notationsym : rtype_symbol

val integersym : rtype_symbol

val intsym : rtype_symbol

val dayTimeDurationsym : rtype_symbol

val yearMonthDurationsym : rtype_symbol

val untypedAtomicsym : rtype_symbol

val untypedsym : rtype_symbol

val anyAtomicTypesym : rtype_symbol

val idsym : rattr_symbol

val idrefsym : rattr_symbol

type anon_symbol = symbol 

val anon_symbol : Namespace_names.rqname -> anon_symbol

val anon_name : anon_symbol -> Namespace_names.rqname

val anon_prefix : anon_symbol -> Namespace_names.prefix

val anon_equal : symbol -> symbol -> bool

val anon_subtag : symbol -> symbol -> bool

val anon_string : anon_symbol -> string

val anon_prefix_string : anon_symbol -> string

type resolved_unit_symbol = 

val subtag : resolved_unit_symbol ->
       resolved_unit_symbol -> bool

val equaltag : resolved_unit_symbol ->
       resolved_unit_symbol -> bool