Expand description
Specs for stdlib methods on integer types that aren’t covered by vstd.
Functions§
- _verus_
external_ ⚠fn_ specification_ 17_ u8_ 32__ 58__ 58__ 32_ is__ power__ of__ two - _verus_
external_ ⚠fn_ specification_ 18_ u16_ 32__ 58__ 58__ 32_ is__ power__ of__ two - _verus_
external_ ⚠fn_ specification_ 19_ u32_ 32__ 58__ 58__ 32_ is__ power__ of__ two - _verus_
external_ ⚠fn_ specification_ 20_ u64_ 32__ 58__ 58__ 32_ is__ power__ of__ two - _verus_
external_ ⚠fn_ specification_ 21_ usize_ 32__ 58__ 58__ 32_ is__ power__ of__ two - _verus_
external_ ⚠fn_ specification_ 22_ usize_ 32__ 58__ 58__ 32_ div__ ceil