Function Hacl_P256_ecdsa_verif_without_hash 

pub unsafe extern "C" fn Hacl_P256_ecdsa_verif_without_hash(
    mLen: u32,
    m: *mut u8,
    pubKey: *mut u8,
    r: *mut u8,
    s: *mut u8,
) -> bool