7.7
Word
1 Types
Signed/Unsigned Word data type using refinments.
Unsigned 8-bit Word. Equivalent to a Racket Byte.
Word16 : Integer = (Refine (i : Integer) (<= 0 i 65535))
|
Unsigned 16-bit Word.
Word32 : Integer = (Refine (i : Integer) (<= 0 i 4294967295))
|
Unsigned 32-bit Word.
Word64 : Integer
|
| = (Refine (i : Integer) (<= 0 i 18446744073709551615)) |
Unsigned 64-bit Word.