Skip to main content
Module iter
vstd_
extra
Module iter
Module Items
Structs
Functions
In vstd_
extra::
external
vstd_extra
::
external
Module
iter
Copy item path
Source
Expand description
Specification for owned-array iteration not yet modeled by
vstd
.
Structs
§
ExArray
Into
Iter
Verus proxy for the standard library’s array
IntoIter
.
Functions
§
_verus_
external_
fn_
specification_
23__
60__
32__
91_
T_
59__
32_
N_
93__
32_
as_
32_
Into
Iterator_
32__
62__
32__
58__
58__
32_
into__
iter
⚠