def amend_empty_set_type(es: irast.EmptySet, t: s_types.Type, env: context.Environment) -> None: env.set_types[es] = t alias = es.path_id.target_name_hint.name typename = s_name.Name(module='__derived__', name=alias) es.path_id = irast.PathId.from_type(env.schema, t, env=env, typename=typename)
def amend_empty_set_type(es: irast.EmptySet, t: s_obj.Object, env) -> None: env.set_types[es] = t alias = es.path_id.target_name_hint.name typename = s_name.Name(module='__derived__', name=alias) es.path_id = irast.PathId.from_type(env.schema, t, typename=typename)