Expand description
Byte-aligned bitfield specification and proof combinator.
Modules§
- proof
- Correctness proofs for this combinator. Correctness proofs for byte-aligned bitfield formats.
- spec
- Specification trait implementations for this combinator. Specification interfaces for byte-aligned bitfield formats.
Structs§
- Bits
- Packs a tuple of logical bitfield values into one fixed-width integer representation.