Expand description
Specs for stdlib methods on integer types that aren’t covered by vstd.
Functions§
- _verus_
external_ ⚠fn_ specification_ 10_ u8_ 32__ 58__ 58__ 32_ is__ power__ of__ two - _verus_
external_ ⚠fn_ specification_ 11_ u16_ 32__ 58__ 58__ 32_ is__ power__ of__ two - _verus_
external_ ⚠fn_ specification_ 12_ u32_ 32__ 58__ 58__ 32_ is__ power__ of__ two - _verus_
external_ ⚠fn_ specification_ 13_ u64_ 32__ 58__ 58__ 32_ is__ power__ of__ two - _verus_
external_ ⚠fn_ specification_ 14_ usize_ 32__ 58__ 58__ 32_ is__ power__ of__ two