Expand description
Auto-generated module
🤖 Generated with SplitRS
Structs§
- BitManipulator
- Bit manipulation helper utilities.
- BitVec
Arithmetic - Arithmetic utilities for bitvector operations.
- BitVec
Fixed - Fixed-width bitvector backed by a const generic width parameter.
- BitVecSMT
- SMT-LIB BitVec representation for solver integration.
- Popcount
Table - Precomputed population count lookup table.