The type NUMBER
is the disjoint union of the types
REAL
and COMPLEX
(exhaustive
partition)
The type REAL
is the disjoint union of the types
RATIONAL
and FLOAT
.
The type RATIONAL
is the disjoint union of the types
INTEGER
and RATIO
.
The type INTEGER
is the disjoint union of the types
FIXNUM
and BIGNUM
.
The type FLOAT
is the disjoint union of the types
SHORT-FLOAT
, SINGLE-FLOAT
, DOUBLE-FLOAT
and
LONG-FLOAT
.
These notes document CLISP version 2.49 | Last modified: 2010-07-07 |