Skip to main content
into_iter_elts
vstd
In vstd::
std_
specs::
vec
vstd
::
std_specs
::
vec
Function
into_
iter_
elts
Copy item path
Source
pub
uninterp spec
fn into_iter_elts<T, A:
Allocator
>(i:
IntoIter
<T, A>) ->
Seq
<T>
Expand description