Class Dm_atomic.atomicNotation

class atomicNotation : ?ta:Namespace_symbols.rtype_symbol -> Datatypes.xs_NOTATION -> 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