vstd
In vstd::
std_
specs::
core
vstd
::
std_specs
::
core
Function
iter_into_iter_spec
Copy item path
Source
pub
open spec
fn iter_into_iter_spec<I:
Iterator
>(i: I) -> I
Expand description
{ i }