Function Hacl_HMAC_compute_blake2b_32 

pub unsafe extern "C" fn Hacl_HMAC_compute_blake2b_32(
    dst: *mut u8,
    key: *mut u8,
    key_len: u32,
    data: *mut u8,
    data_len: u32,
)