Skip to main content
into_iter_remaining
vstd
In vstd::
std_
specs::
iter
vstd
::
std_specs
::
iter
Function
into_
iter_
remaining
Copy item path
Source
pub
uninterp spec
fn into_iter_remaining<A, T>(iter: T) ->
Seq
<A>
Expand description