sig
  class virtual atomicValue :
    Namespace_symbols.rtype_symbol ->
    object
      method virtual atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method virtual cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private virtual eq : Dm_atomic.atomicValue -> bool
      method virtual erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method virtual getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private virtual gt : Dm_atomic.atomicValue -> bool
      method private virtual gteq : Dm_atomic.atomicValue -> bool
      method private virtual lt : Dm_atomic.atomicValue -> bool
      method private virtual lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicString :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_string ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicBoolean :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_boolean ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicDecimal :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_decimal ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicFloat :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_float ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicDouble :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_double ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicInteger :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_integer ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicDuration :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_duration ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicDateTime :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_dateTime ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicTime :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_time ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicDate :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_date ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicGYearMonth :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_gYearMonth ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicGYear :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_gYear ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicGMonthDay :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_gMonthDay ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicGDay :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_gDay ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicGMonth :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_gMonth ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicYearMonthDuration :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_yearMonthDuration ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicDayTimeDuration :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_dayTimeDuration ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicHexBinary :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_hexBinary ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicBase64Binary :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_base64Binary ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicAnyURI :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_anyURI ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicQName :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_QName ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicNotation :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_NOTATION ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  and atomicUntyped :
    ?ta:Namespace_symbols.rtype_symbol ->
    Datatypes.xs_untyped ->
    object
      method atomic_type : unit -> Namespace_symbols.rtype_symbol
      method atomic_value_compare : Dm_atomic.atomicValue -> int
      method atomic_value_eq : Dm_atomic.atomicValue -> bool
      method atomic_value_gt : Dm_atomic.atomicValue -> bool
      method atomic_value_gteq : Dm_atomic.atomicValue -> bool
      method atomic_value_lt : Dm_atomic.atomicValue -> bool
      method atomic_value_lteq : Dm_atomic.atomicValue -> bool
      method cast_to :
        Namespace_context.nsenv ->
        Namespace_symbols.rtype_symbol ->
        Datatypes.atomic_type -> Dm_atomic.atomicValue
      method private eq : Dm_atomic.atomicValue -> bool
      method erase_atomic_value : unit -> Datatypes.xs_untyped
      method getAtomicAnyURI : unit -> Datatypes.xs_anyURI
      method getAtomicBase64Binary : unit -> Datatypes.xs_base64Binary
      method getAtomicBoolean : unit -> Datatypes.xs_boolean
      method getAtomicDate : unit -> Datatypes.xs_date
      method getAtomicDateTime : unit -> Datatypes.xs_dateTime
      method getAtomicDayTimeDuration : unit -> Datatypes.xs_dayTimeDuration
      method getAtomicDecimal : unit -> Datatypes.xs_decimal
      method getAtomicDouble : unit -> Datatypes.xs_double
      method getAtomicDuration : unit -> Datatypes.xs_duration
      method getAtomicFloat : unit -> Datatypes.xs_float
      method getAtomicGDay : unit -> Datatypes.xs_gDay
      method getAtomicGMonth : unit -> Datatypes.xs_gMonth
      method getAtomicGMonthDay : unit -> Datatypes.xs_gMonthDay
      method getAtomicGYear : unit -> Datatypes.xs_gYear
      method getAtomicGYearMonth : unit -> Datatypes.xs_gYearMonth
      method getAtomicHexBinary : unit -> Datatypes.xs_hexBinary
      method getAtomicInteger : unit -> Datatypes.xs_integer
      method getAtomicNotation : unit -> Datatypes.xs_NOTATION
      method getAtomicQName : unit -> Datatypes.xs_QName
      method getAtomicString : unit -> Datatypes.xs_string
      method getAtomicTime : unit -> Datatypes.xs_time
      method getAtomicUntyped : unit -> Datatypes.xs_untyped
      method getAtomicValueKind : unit -> Datatypes.atomic_type
      method getAtomicYearMonthDuration :
        unit -> Datatypes.xs_yearMonthDuration
      method private gt : Dm_atomic.atomicValue -> bool
      method private gteq : Dm_atomic.atomicValue -> bool
      method private lt : Dm_atomic.atomicValue -> bool
      method private lteq : Dm_atomic.atomicValue -> bool
      method string_value : unit -> Datatypes.xs_untyped
    end
  module AtomicValueHash :
    sig
      type key = atomicValue
      type 'a t
      val create : int -> 'a t
      val clear : 'a t -> unit
      val reset : 'a t -> unit
      val copy : 'a t -> 'a t
      val add : 'a t -> key -> 'a -> unit
      val remove : 'a t -> key -> unit
      val find : 'a t -> key -> 'a
      val find_all : 'a t -> key -> 'a list
      val replace : 'a t -> key -> 'a -> unit
      val mem : 'a t -> key -> bool
      val iter : (key -> 'a -> unit) -> 'a t -> unit
      val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
      val length : 'a t -> int
      val stats : 'a t -> Hashtbl.statistics
    end
end