8.15
Link to this document with
@other-doc['(lib "word/scribblings/word.scrbl")]
Link to this document with
@other-doc['(lib "word/scribblings/word.scrbl")]
1 Types🔗ℹ
Link to this section with
@secref["Types" #:doc '(lib "word/scribblings/word.scrbl")]
Link to this section with
@secref["Types" #:doc '(lib "word/scribblings/word.scrbl")]
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.