pub fn contains_at<T: Eq>(s: &[T], t: &[T], p: usize) -> bool