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