|
|
|---|
|
|
|
|---|
Fixtype of formats of unsigned integer objects.
This is a product type introduced by fty::defprod.
The following invariant is enforced on the fields:
(uinteger-bit-roles-wfp bits)
This is for unsigned integer objects
other than those of type
The format definition includes a list of bit roles,
which should be thought as the juxtaposition of
the bytes that form the unsigned integer object,
in little endian order, i.e. from lower to higher address.
The length of the list of bit roles
must be a mulitple of
We also include a placeholder component meant to define which bit values are trap representations [C17:6.2.6.2/5]. We plan to flesh this out in the future.