Size
The type of things with some fixed size.
Sizes larger than Zero are represented by nested applications of Size.
For example, things of size 2 are typed: (Size (Size Zero))
Functions that rely on information about the size or length of a structure
are implemented in terms of Size
and Zero
.
size
macro
Macro
(size n)
Size types can be quite a pain to type out in full, as the rely on significant nesting.
The size macro generates an appropriate Size based on an integer value, and may be used to generate a size type in functions signatures and macros.