Top

Bit-sizes

Bitsize

Fixtype of Leo integer bit sizes.

This is a tagged union type, introduced by fty::deftagsum.

Member Tags → Types

:|8| → bitsize-8
:|16| → bitsize-16
:|32| → bitsize-32
:|64| → bitsize-64
:|128| → bitsize-128

We capture the possible sizes as an enumeration, since there are just five of them.

Subtopics

Bitsize-case: Case macro for the different kinds of bitsize structures.
Bitsize-fix: Fixing function for bitsize structures.
Bitsize-equiv: Basic equivalence relation for bitsize structures.
Bitsizep: Recognizer for bitsize structures.
Bitsize-kind: Get the kind (tag) of a bitsize structure.
Bitsize-8
Bitsize-64
Bitsize-32
Bitsize-16
Bitsize-128