Int
Fixtype of signed integer values.
This is a product type introduced by fty::defprod.
Fields
- size — bit-size
- value — integerp
Additional Requirements
The following invariant is enforced on the fields:
(signed-byte-p size value)
We tag unsigned integer values with their bit sizes,
since the sizes are part of their types.
Subtopics
- Intp
- Recognizer for int structures.
- Int-fix
- Fixing function for int structures.
- Make-int
- Basic constructor macro for int structures.
- Int-equiv
- Basic equivalence relation for int structures.
- Change-int
- Modifying constructor for int structures.
- Int->value
- Get the value field from a int.
- Int->size
- Get the size field from a int.
