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