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