Function spec_into_iter_borrowed Copy item path

pub uninterp spec fn spec_into_iter_borrowed<T, A: Allocator>(
    v: &Vec<T, A>,
) -> iter : <&Vec<T, A> as IntoIterator>::IntoIter ⓘ