vstd::std_specs::core

Function iter_into_iter_spec

Source
pub open spec fn iter_into_iter_spec<I: Iterator>(i: I) -> I
Expand description
{ i }