Word🔗ℹ

1 Types🔗ℹ

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.