Word
1 Types
Word8
Word16
Word32
Word64
8.12

Word🔗ℹ

Raymond Racine <ray.racine@gmail.com>

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.