Function vstd::std_specs::core::iter_into_iter_spec

pub open spec fn iter_into_iter_spec<I: Iterator>(i: I) -> I

{ i }