Bits and BitVectors
Bits
- Constructors
- There are two constructors: bit-0 and bit-1
- Operations
- The supported operations are: bit-plus, bit-carry,
bit-not, bit-and, bit-ior (inclusive or), and
bit-xor (exclusive or).
The spec is in:
bits.re
Fixed size BitVectors
The Bitvectors supported are of a fixed size:
BITVECTOR-K is a definitional extension of
ARRAY-K. The following (bitwise)
operations are supported in addition to the array-k operations:
bv-not, bv-and, bv-ior (inclusive or), and
bv-xor (exclusive or).
The spec is in:
bit-vector-k.re
SpecWeb Index
Specs