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