Function hacl_sys::Hacl_Streaming_Keccak_update

pub unsafe extern "C" fn Hacl_Streaming_Keccak_update(
    p: *mut Hacl_Streaming_Keccak_state,
    data: *mut u8,
    len: u32
) -> Hacl_Streaming_Types_error_code