pub unsafe extern "C" fn Hacl_Hash_SHA3_get_alg( s: *mut Hacl_Hash_SHA3_state_t, ) -> Spec_Hash_Definitions_hash_alg