Modules§
- logic
- Truth systems, reachability, constraints.
- ord
- Algorithms and structures based on relative ordering.
Structs§
- BitSpan
- ▫️ 🗃️ A contiguous span of bits in an integer carrier.
- Bitwise
- ⅀ 🛠️
Provides constant bitwise operations on
T.
Traits§
- BitOps
- ⅀ 🛠️
Provides bitwise operations on
T.