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