Function yices2::sys::bsearch_b

source ·
pub unsafe extern "C" fn bsearch_b(
    __key: *const c_void,
    __base: *const c_void,
    __nel: usize,
    __width: usize,
    __compar: *mut c_void
) -> *mut c_void