Skip to main content
zip_iter_fst
vstd
In vstd::
std_
specs::
iter
vstd
::
std_specs
::
iter
Function
zip_
iter_
fst
Copy item path
Source
pub
uninterp spec
fn zip_iter_fst<A, B>(z:
Zip
<A, B>) -> A
Expand description