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