Function Hacl_Hash_SHA3_shake256_hacl

pub unsafe extern "C" fn Hacl_Hash_SHA3_shake256_hacl(
    inputByteLen: u32,
    input: *mut u8,
    outputByteLen: u32,
    output: *mut u8,
)