module Datatypes_util: sig .. end
val ncname_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_ncname
val string_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_string
val boolean_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_boolean
val decimal_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_decimal
val float_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_float
val double_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_double
val dateTime_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_dateTime
val time_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_time
val date_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_date
val gYearMonth_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_gYearMonth
val gYear_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_gYear
val gMonthDay_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_gMonthDay
val gDay_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_gDay
val gMonth_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_gMonth
val hexBinary_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_hexBinary
val base64Binary_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_base64Binary
val anyURI_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_anyURI
val qname_of_untyped : Namespace_context.nsenv -> Datatypes.xs_untyped -> Datatypes.xs_QName
val notation_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_NOTATION
val integer_of_untyped : Namespace_symbols.rtype_symbol ->
Datatypes.xs_untyped -> Datatypes.xs_integer
val duration_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_duration
val yearMonthDuration_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_yearMonthDuration
val dayTimeDuration_of_untyped : Datatypes.xs_untyped -> Datatypes.xs_dayTimeDuration
val string_equal : Datatypes.xs_string -> Datatypes.xs_string -> bool
val string_lteq : Datatypes.xs_string -> Datatypes.xs_string -> bool
val string_lt : Datatypes.xs_string -> Datatypes.xs_string -> bool
val string_gteq : Datatypes.xs_string -> Datatypes.xs_string -> bool
val string_gt : Datatypes.xs_string -> Datatypes.xs_string -> bool
val bool_equal : Datatypes.xs_boolean -> Datatypes.xs_boolean -> bool
val bool_lteq : Datatypes.xs_boolean -> Datatypes.xs_boolean -> bool
val bool_lt : Datatypes.xs_boolean -> Datatypes.xs_boolean -> bool
val bool_gteq : Datatypes.xs_boolean -> Datatypes.xs_boolean -> bool
val bool_gt : Datatypes.xs_boolean -> Datatypes.xs_boolean -> bool
val float_equal : Datatypes.xs_float -> Datatypes.xs_float -> bool
val float_lteq : Datatypes.xs_float -> Datatypes.xs_float -> bool
val float_lt : Datatypes.xs_float -> Datatypes.xs_float -> bool
val float_gteq : Datatypes.xs_float -> Datatypes.xs_float -> bool
val float_gt : Datatypes.xs_float -> Datatypes.xs_float -> bool
val double_equal : Datatypes.xs_double -> Datatypes.xs_double -> bool
val double_lteq : Datatypes.xs_double -> Datatypes.xs_double -> bool
val double_lt : Datatypes.xs_double -> Datatypes.xs_double -> bool
val double_gteq : Datatypes.xs_double -> Datatypes.xs_double -> bool
val double_gt : Datatypes.xs_double -> Datatypes.xs_double -> bool
val duration_equal : Datatypes.xs_duration -> Datatypes.xs_duration -> bool
val duration_lteq : Datatypes.xs_duration -> Datatypes.xs_duration -> bool
val duration_lt : Datatypes.xs_duration -> Datatypes.xs_duration -> bool
val duration_gteq : Datatypes.xs_duration -> Datatypes.xs_duration -> bool
val duration_gt : Datatypes.xs_duration -> Datatypes.xs_duration -> bool
val dateTime_equal : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_dateTime -> Datatypes.xs_dateTime -> bool
val dateTime_lteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_dateTime -> Datatypes.xs_dateTime -> bool
val dateTime_lt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_dateTime -> Datatypes.xs_dateTime -> bool
val dateTime_gteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_dateTime -> Datatypes.xs_dateTime -> bool
val dateTime_gt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_dateTime -> Datatypes.xs_dateTime -> bool
val time_equal : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_time -> Datatypes.xs_time -> bool
val time_lteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_time -> Datatypes.xs_time -> bool
val time_lt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_time -> Datatypes.xs_time -> bool
val time_gteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_time -> Datatypes.xs_time -> bool
val time_gt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_time -> Datatypes.xs_time -> bool
val date_equal : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_date -> Datatypes.xs_date -> bool
val date_lteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_date -> Datatypes.xs_date -> bool
val date_lt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_date -> Datatypes.xs_date -> bool
val date_gteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_date -> Datatypes.xs_date -> bool
val date_gt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_date -> Datatypes.xs_date -> bool
val gYearMonth_equal : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gYearMonth -> Datatypes.xs_gYearMonth -> bool
val gYearMonth_lteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gYearMonth -> Datatypes.xs_gYearMonth -> bool
val gYearMonth_lt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gYearMonth -> Datatypes.xs_gYearMonth -> bool
val gYearMonth_gteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gYearMonth -> Datatypes.xs_gYearMonth -> bool
val gYearMonth_gt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gYearMonth -> Datatypes.xs_gYearMonth -> bool
val gYear_equal : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gYear -> Datatypes.xs_gYear -> bool
val gYear_lteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gYear -> Datatypes.xs_gYear -> bool
val gYear_lt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gYear -> Datatypes.xs_gYear -> bool
val gYear_gteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gYear -> Datatypes.xs_gYear -> bool
val gYear_gt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gYear -> Datatypes.xs_gYear -> bool
val gMonthDay_equal : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gMonthDay -> Datatypes.xs_gMonthDay -> bool
val gMonthDay_lteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gMonthDay -> Datatypes.xs_gMonthDay -> bool
val gMonthDay_lt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gMonthDay -> Datatypes.xs_gMonthDay -> bool
val gMonthDay_gteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gMonthDay -> Datatypes.xs_gMonthDay -> bool
val gMonthDay_gt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gMonthDay -> Datatypes.xs_gMonthDay -> bool
val gMonth_equal : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gMonth -> Datatypes.xs_gMonth -> bool
val gMonth_lteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gMonth -> Datatypes.xs_gMonth -> bool
val gMonth_lt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gMonth -> Datatypes.xs_gMonth -> bool
val gMonth_gteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gMonth -> Datatypes.xs_gMonth -> bool
val gMonth_gt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gMonth -> Datatypes.xs_gMonth -> bool
val gDay_equal : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gDay -> Datatypes.xs_gDay -> bool
val gDay_lteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gDay -> Datatypes.xs_gDay -> bool
val gDay_lt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gDay -> Datatypes.xs_gDay -> bool
val gDay_gteq : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gDay -> Datatypes.xs_gDay -> bool
val gDay_gt : Datatypes.xs_dayTimeDuration option ->
Datatypes.xs_gDay -> Datatypes.xs_gDay -> bool
val hexBinary_equal : Datatypes.xs_hexBinary -> Datatypes.xs_hexBinary -> bool
val hexBinary_lteq : Datatypes.xs_hexBinary -> Datatypes.xs_hexBinary -> bool
val hexBinary_lt : Datatypes.xs_hexBinary -> Datatypes.xs_hexBinary -> bool
val hexBinary_gteq : Datatypes.xs_hexBinary -> Datatypes.xs_hexBinary -> bool
val hexBinary_gt : Datatypes.xs_hexBinary -> Datatypes.xs_hexBinary -> bool
val base64Binary_equal : Datatypes.xs_base64Binary -> Datatypes.xs_base64Binary -> bool
val base64Binary_lteq : Datatypes.xs_base64Binary -> Datatypes.xs_base64Binary -> bool
val base64Binary_lt : Datatypes.xs_base64Binary -> Datatypes.xs_base64Binary -> bool
val base64Binary_gteq : Datatypes.xs_base64Binary -> Datatypes.xs_base64Binary -> bool
val base64Binary_gt : Datatypes.xs_base64Binary -> Datatypes.xs_base64Binary -> bool
val anyURI_equal : Datatypes.xs_anyURI -> Datatypes.xs_anyURI -> bool
val qname_equal : Datatypes.xs_QName -> Datatypes.xs_QName -> bool
val qname_lteq : Datatypes.xs_QName -> Datatypes.xs_QName -> bool
val qname_lt : Datatypes.xs_QName -> Datatypes.xs_QName -> bool
val qname_gteq : Datatypes.xs_QName -> Datatypes.xs_QName -> bool
val qname_gt : Datatypes.xs_QName -> Datatypes.xs_QName -> bool
val notation_equal : Datatypes.xs_NOTATION -> Datatypes.xs_NOTATION -> bool
val notation_lteq : Datatypes.xs_NOTATION -> Datatypes.xs_NOTATION -> bool
val notation_lt : Datatypes.xs_NOTATION -> Datatypes.xs_NOTATION -> bool
val notation_gteq : Datatypes.xs_NOTATION -> Datatypes.xs_NOTATION -> bool
val notation_gt : Datatypes.xs_NOTATION -> Datatypes.xs_NOTATION -> bool
val yearMonthDuration_equal : Datatypes.xs_yearMonthDuration -> Datatypes.xs_yearMonthDuration -> bool
val yearMonthDuration_lteq : Datatypes.xs_yearMonthDuration -> Datatypes.xs_yearMonthDuration -> bool
val yearMonthDuration_lt : Datatypes.xs_yearMonthDuration -> Datatypes.xs_yearMonthDuration -> bool
val yearMonthDuration_gteq : Datatypes.xs_yearMonthDuration -> Datatypes.xs_yearMonthDuration -> bool
val yearMonthDuration_gt : Datatypes.xs_yearMonthDuration -> Datatypes.xs_yearMonthDuration -> bool
val dayTimeDuration_equal : Datatypes.xs_dayTimeDuration -> Datatypes.xs_dayTimeDuration -> bool
val dayTimeDuration_lteq : Datatypes.xs_dayTimeDuration -> Datatypes.xs_dayTimeDuration -> bool
val dayTimeDuration_lt : Datatypes.xs_dayTimeDuration -> Datatypes.xs_dayTimeDuration -> bool
val dayTimeDuration_gteq : Datatypes.xs_dayTimeDuration -> Datatypes.xs_dayTimeDuration -> bool
val dayTimeDuration_gt : Datatypes.xs_dayTimeDuration -> Datatypes.xs_dayTimeDuration -> bool
val untyped_equal : Datatypes.xs_untyped -> Datatypes.xs_untyped -> bool
val untyped_lteq : Datatypes.xs_untyped -> Datatypes.xs_untyped -> bool
val untyped_lt : Datatypes.xs_untyped -> Datatypes.xs_untyped -> bool
val untyped_gteq : Datatypes.xs_untyped -> Datatypes.xs_untyped -> bool
val untyped_gt : Datatypes.xs_untyped -> Datatypes.xs_untyped -> bool
val serialize_float : Datatypes.xs_float -> string
val serialize_double : Datatypes.xs_double -> string
val serialize_base64Binary : Datatypes.xs_base64Binary -> string
val serialize_hexBinary : Datatypes.xs_hexBinary -> string
val atomic_is_numeric : Datatypes.atomic_type -> bool
val atomic_is_anyURI : Datatypes.atomic_type -> bool
val atomic_is_anystring : Datatypes.atomic_type -> bool
val atomic_type_subsumes : Datatypes.atomic_type -> Datatypes.atomic_type -> bool
val untyped_atomic_type : Datatypes.atomic_type
val lookup_bltin_type : Namespace_symbols.rtype_symbol -> Datatypes.atomic_type
val symbol_of_primitive_type : Datatypes.atomic_type -> Namespace_symbols.rtype_symbol
val unit_symbol_of_base_type : Datatypes.atomic_type -> Namespace_symbols.rtype_symbol
val can_be_promoted_to : Datatypes.atomic_type -> Datatypes.atomic_type list
val bt_can_be_promoted_to : Datatypes.atomic_type -> Datatypes.atomic_type -> bool * bool
val string_of_atomic_type : Datatypes.atomic_type -> string
val compare_types : Datatypes.atomic_type -> Datatypes.atomic_type -> int
val base64_of_hex : Datatypes.xs_base64Binary -> Datatypes.xs_hexBinary
val hex_of_base64 : Datatypes.xs_hexBinary -> Datatypes.xs_base64Binary