Function spec_slice_iter Copy item path

pub uninterp fn spec_slice_iter<'a, T>(s: &'a [T]) -> iter : Iter<'a, T>