Class Dm_atomic.atomicTime

class atomicTime : ?ta:Namespace_symbols.rtype_symbol -> Datatypes.xs_time -> object .. end

• Dm_atomic.atomicValue

method erase_atomic_value : unit -> Datatypes.xs_untyped

method getAtomicValueKind : unit -> Datatypes.atomic_type

method cast_to : Namespace_context.nsenv ->
       Namespace_symbols.rtype_symbol ->
       Datatypes.atomic_type -> atomicValue

method atomic_type : unit -> Namespace_symbols.rtype_symbol

method private eq : atomicValue -> bool

method private lteq : atomicValue -> bool

method private lt : atomicValue -> bool

method private gteq : atomicValue -> bool

method private gt : atomicValue -> bool