--- /dev/null
+package org.simantics.scl.compiler.elaboration.modules;\r
+\r
+import org.simantics.scl.compiler.types.TCon;\r
+import org.simantics.scl.compiler.types.TVar;\r
+import org.simantics.scl.compiler.types.Type;\r
+\r
+public class TypeAlias {\r
+ TCon con;\r
+ \r
+ public TVar[] parameters;\r
+ public Type body;\r
+ \r
+ public TypeAlias(TCon con, int arity) {\r
+ this.con = con;\r
+ this.parameters = new TVar[arity];\r
+ }\r
+ \r
+ public TCon getCon() {\r
+ return con;\r
+ }\r
+\r
+ public int getArity() {\r
+ return parameters.length;\r
+ }\r
+}\r