Bytes
Bytes.
A byte [C:3.6] consists of
CHAR_BIT bits [C:6.2.6.1/3, Footnote 50],
which must be at least 8 [C:5.2.4.2.1].
Our C formalization is parameterized
over the specific value of CHAR_BIT.
Subtopics
- Byte
- Fixtype of bytes.
- Char-bit
- Parameter for the specific value of CHAR_BIT.
- Char-bit-constrp
- Constraints on the value of CHAR_BIT.
