Function spec_slice_len Copy item path

pub uninterp fn spec_slice_len<T>(slice: &[T]) -> usize