?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