pub unsafe extern "C" fn Hacl_Hash_SHA3_update(
state: *mut Hacl_Hash_SHA3_state_t,
chunk: *mut u8,
chunk_len: u32,
) -> Hacl_Streaming_Types_error_codepub unsafe extern "C" fn Hacl_Hash_SHA3_update(
state: *mut Hacl_Hash_SHA3_state_t,
chunk: *mut u8,
chunk_len: u32,
) -> Hacl_Streaming_Types_error_code