Function hacl_star_sys::hacl_policies::Hacl_Policies_cmp_bytes_

pub unsafe extern "C" fn Hacl_Policies_cmp_bytes_(
    b1: *mut u8, 
    b2: *mut u8, 
    len: u32, 
    tmp: *mut u8
) -> u8