Type unsigned-byte

Supertypes:

unsigned-byte, signed-byte, integer, rational, real, number, t

Description:

!!! Barrett thinks this should be more consistent with presentation of signed-byte. !!! Barrett thinks we should be more careful about whitespace in the exponents here.The atomic type specifier unsigned-byte denotes the same type as is denoted by the type specifier (integer 0 *). Barmar notes that this is redundant with what's said below. The \term{type specifier} {\tt (unsigned-byte \param{s})} is equivalent to {\tt (integer 0 $2^s-1$)}.

Compound Type Specifier Kind:

Abbreviating.

Compound Type Specifier Syntax:

4.6.0 6

Compound Type Specifier Arguments:

The "positive" was suggested by Barmar, and seems consistent with signed-byte. -kmp 20-Oct-91s—a positive integer.

Compound Type Specifier Description:

This denotes the set of non-negative integers that can be represented in a byte of size s (bits). This is equivalent to (mod m) for $m=2^s$, or to (integer 0 n) for $n=2^s-1$. The type unsigned-byte or the type (unsigned-byte *) is the same as the type (integer 0 *), the set of non-negative integers.

Notes:

The type (unsigned-byte 1) is also called bit.