Module range
vstd
Module range
Module Items
Structs
Traits
Functions
In vstd::
std_
specs
Modules
alloc
atomic
bits
borrow
clone
control_flow
core
hash
num
option
range
result
slice
smart_ptrs
vec
vecdeque
Structs
VstdSpecsForRustStdLib
vstd
::
std_specs
Module
range
Copy item path
Settings
Help
Summary
Source
Structs
§
ExRange
Range
Ghost
Iterator
Traits
§
Step
Spec
Functions
§
_verus_
external_
fn_
specification_
233_
Range_
32__
58__
58__
32__
60__
32_
A_
32__
62__
32__
58__
58__
32_
next
⚠
axiom_
spec_
range_
next_
i8
axiom_
spec_
range_
next_
i16
axiom_
spec_
range_
next_
i32
axiom_
spec_
range_
next_
i64
axiom_
spec_
range_
next_
i128
axiom_
spec_
range_
next_
isize
axiom_
spec_
range_
next_
u8
axiom_
spec_
range_
next_
u16
axiom_
spec_
range_
next_
u32
axiom_
spec_
range_
next_
u64
axiom_
spec_
range_
next_
u128
axiom_
spec_
range_
next_
usize
group_
range_
axioms
spec_
range_
next