pub fn contains<T: Eq>(x: &[T], y: &[T]) -> bool