+package org.simantics.scl.compiler.elaboration.chr;\r
+\r
+import org.simantics.scl.compiler.types.TVar;\r
+import org.simantics.scl.compiler.types.Type;\r
+import org.simantics.scl.compiler.types.Types;\r
+import org.simantics.scl.compiler.types.kinds.Kinds;\r
+\r
+public interface CHRRelation {\r
+ public static final TVar A = Types.var(Kinds.STAR);\r
+ \r
+ TVar[] getTypeVariables();\r
+ Type[] getParameterTypes();\r
+}\r