Expand description
Specs for stdlib methods on integer types that aren’t covered by vstd.
Functions§
- _verus_
external_ ⚠fn_ specification_ 5_ u8_ 32__ 58__ 58__ 32_ is__ power__ of__ two - _verus_
external_ ⚠fn_ specification_ 6_ u16_ 32__ 58__ 58__ 32_ is__ power__ of__ two - _verus_
external_ ⚠fn_ specification_ 7_ u32_ 32__ 58__ 58__ 32_ is__ power__ of__ two - _verus_
external_ ⚠fn_ specification_ 8_ u64_ 32__ 58__ 58__ 32_ is__ power__ of__ two - _verus_
external_ ⚠fn_ specification_ 9_ usize_ 32__ 58__ 58__ 32_ is__ power__ of__ two