10.10.2  Base Types

Primitive types defined by the system include:

    Bool
    Char
    Fate
    Control_Fate
    Exception
    Float
    Float64_Rw_Vector
    Int
    Int1
    Int2
    Integer
    List
    Ref
    Rw_Vector
    String
    Unt
    Unt1
    Unt2
    Unt8
    Unt8_Rw_Vector
    Vector
    Void

For our purposes here, types such as Bool, Char, Int, Float and String may be taken as atomic, just unanalysed constituents of other types.