pub fn monobound_binary_first<T, F>( src: &mut [T], right: usize, left: usize, top: usize, is_less: &F, ) -> usizewhere F: Fn(&T, &T) -> bool,