pub unsafe extern "C" fn Hacl_Hash_SHA3_copy( state: *mut Hacl_Hash_SHA3_state_t, ) -> *mut Hacl_Hash_SHA3_state_t