Module num
vstd
Module num
Functions
In vstd::
std_
specs
Modules
alloc
atomic
bits
clone
control_flow
core
hash
num
option
range
result
smart_ptrs
vec
vecdeque
Structs
VstdSpecsForRustStdLib
?
Settings
Module
vstd
::
std_specs
::
num
Copy item path
source
·
[
−
]
Functions
§
_verus_
external_
fn_
specification_
208_
u32_
32__
58__
58__
32_
checked__
rem
⚠
_verus_
external_
fn_
specification_
209_
u32_
32__
58__
58__
32_
checked__
rem__
euclid
⚠
_verus_
external_
fn_
specification_
210_
i32_
32__
58__
58__
32_
checked__
div
⚠
_verus_
external_
fn_
specification_
211_
i32_
32__
58__
58__
32_
checked__
div__
euclid
⚠
_verus_
external_
fn_
specification_
212_
i32_
32__
58__
58__
32_
checked__
rem
⚠
_verus_
external_
fn_
specification_
213_
i32_
32__
58__
58__
32_
checked__
rem__
euclid
⚠