Function vstd::std_specs::core::ex_iter_into_iter

pub exec fn ex_iter_into_iter<I: Iterator>(i: I) -> r : I

Expand description

ensures

r == i,

Function vstd::std_specs::core::ex_iter_into_iterCopy item path