sig
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
end