Functions§
- _verus_
external_ ⚠fn_ specification_ 494_ u32_ 32__ 58__ 58__ 32_ checked__ rem - _verus_
external_ ⚠fn_ specification_ 495_ u32_ 32__ 58__ 58__ 32_ checked__ rem__ euclid - _verus_
external_ ⚠fn_ specification_ 496_ i32_ 32__ 58__ 58__ 32_ checked__ div - _verus_
external_ ⚠fn_ specification_ 497_ i32_ 32__ 58__ 58__ 32_ checked__ div__ euclid - _verus_
external_ ⚠fn_ specification_ 498_ i32_ 32__ 58__ 58__ 32_ checked__ rem - _verus_
external_ ⚠fn_ specification_ 499_ i32_ 32__ 58__ 58__ 32_ checked__ rem__ euclid