vstd
In vstd::
std_
specs::
slice
Structs
ExIter
IterGhostIterator
Functions
_verus_external_fn_specification_495_core_32__58__58__32_hint_32__58__58__32_unreachable__unchecked
_verus_external_fn_specification_496_Iter_32__58__58__32__60__32__39_a_44__32_T_32__62__32__58__58__32_next
_verus_external_fn_specification_497__60__32__91_T_93__32__62__32__58__58__32_iter
axiom_spec_slice_iter
group_slice_axioms
spec_slice_iter
vstd
::
std_specs
::
slice
Function
spec_slice_iter
Copy item path
Settings
Help
Summary
Source
pub
uninterp
fn spec_slice_iter<'a, T>(s: &'a
[T]
) ->
iter :
Iter
<'a, T>
Expand description