Function spec_slice_iterCopy item path

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