Function Hacl_HMAC_compute_blake2s_32 

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