prcn_lib::binary_search
pub fn binary_search<T, F>(l: T, r: T, pred: F) -> T where T: Add<Output = T> + Div<Output = T> + PartialEq + From<u8> + Copy, F: Fn(T) -> bool,