Word
1 Types
Word8
Word16
Word32
Word64
6.12

Word

Raymond Racine <[email protected]>

1 Types

 (require word) package: word

Signed/Unsigned Word data type using refinments.

value

Word8 : Byte

Unsigned 8-bit Word. Equivalent to a Racket Byte.

value

Word16 : Integer = (Refine (i : Integer) (<= 0 i 65535))

Unsigned 16-bit Word.

value

Word32 : Integer = (Refine (i : Integer) (<= 0 i 4294967295))

Unsigned 32-bit Word.

value

Word64 : Integer

 = (Refine (i : Integer) (<= 0 i 18446744073709551615))
Unsigned 64-bit Word.