Functions§
- _verus_
external_ ⚠fn_ specification_ 221_ u8_ 32__ 58__ 58__ 32_ trailing__ zeros - _verus_
external_ ⚠fn_ specification_ 222_ u8_ 32__ 58__ 58__ 32_ trailing__ ones - _verus_
external_ ⚠fn_ specification_ 223_ u8_ 32__ 58__ 58__ 32_ leading__ zeros - _verus_
external_ ⚠fn_ specification_ 224_ u8_ 32__ 58__ 58__ 32_ leading__ ones - _verus_
external_ ⚠fn_ specification_ 225_ u16_ 32__ 58__ 58__ 32_ trailing__ zeros - _verus_
external_ ⚠fn_ specification_ 226_ u16_ 32__ 58__ 58__ 32_ trailing__ ones - _verus_
external_ ⚠fn_ specification_ 227_ u16_ 32__ 58__ 58__ 32_ leading__ zeros - _verus_
external_ ⚠fn_ specification_ 228_ u16_ 32__ 58__ 58__ 32_ leading__ ones - _verus_
external_ ⚠fn_ specification_ 229_ u32_ 32__ 58__ 58__ 32_ trailing__ zeros - _verus_
external_ ⚠fn_ specification_ 230_ u32_ 32__ 58__ 58__ 32_ trailing__ ones - _verus_
external_ ⚠fn_ specification_ 231_ u32_ 32__ 58__ 58__ 32_ leading__ zeros - _verus_
external_ ⚠fn_ specification_ 232_ u32_ 32__ 58__ 58__ 32_ leading__ ones - _verus_
external_ ⚠fn_ specification_ 233_ u64_ 32__ 58__ 58__ 32_ trailing__ zeros - _verus_
external_ ⚠fn_ specification_ 234_ u64_ 32__ 58__ 58__ 32_ trailing__ ones - _verus_
external_ ⚠fn_ specification_ 235_ u64_ 32__ 58__ 58__ 32_ leading__ zeros - _verus_
external_ ⚠fn_ specification_ 236_ u64_ 32__ 58__ 58__ 32_ leading__ ones - axiom_
u8_ leading_ ones - axiom_
u8_ leading_ zeros - axiom_
u8_ trailing_ ones - axiom_
u8_ trailing_ zeros - axiom_
u16_ leading_ ones - axiom_
u16_ leading_ zeros - axiom_
u16_ trailing_ ones - axiom_
u16_ trailing_ zeros - axiom_
u32_ leading_ ones - axiom_
u32_ leading_ zeros - axiom_
u32_ trailing_ ones - axiom_
u32_ trailing_ zeros - axiom_
u64_ leading_ ones - axiom_
u64_ leading_ zeros - axiom_
u64_ trailing_ ones - axiom_
u64_ trailing_ zeros - group_
bits_ axioms - u8_
leading_ ones - u8_
leading_ zeros - u8_
trailing_ ones - u8_
trailing_ zeros - u16_
leading_ ones - u16_
leading_ zeros - u16_
trailing_ ones - u16_
trailing_ zeros - u32_
leading_ ones - u32_
leading_ zeros - u32_
trailing_ ones - u32_
trailing_ zeros - u64_
leading_ ones - u64_
leading_ zeros - u64_
trailing_ ones - u64_
trailing_ zeros