Skip to main content
into_iter
vstd
In vstd::
std_
specs::
btree
vstd
::
std_specs
::
btree
Function
into_
iter
Copy item path
Source
pub
uninterp spec
fn into_iter<'a, Key, Value>(i:
Iter
<'a, Key, Value>) ->
Seq
<
(Key, Value)
>
Expand description