Function Hacl_Impl_SHA3_absorb 

pub unsafe extern "C" fn Hacl_Impl_SHA3_absorb(
    s: *mut u64,
    rateInBytes: u32,
    inputByteLen: u32,
    input: *mut u8,
    delimitedSuffix: u8,
)