CHRRelation.java

   1 package org.simantics.scl.compiler.elaboration.chr;\r
   2 \r
   3 import org.simantics.scl.compiler.types.TVar;\r
   4 import org.simantics.scl.compiler.types.Type;\r
   5 import org.simantics.scl.compiler.types.Types;\r
   6 import org.simantics.scl.compiler.types.kinds.Kinds;\r
   7 \r
   8 public interface CHRRelation {\r
   9     public static final TVar A = Types.var(Kinds.STAR);\r
  10     \r
  11     TVar[] getTypeVariables();\r
  12     Type[] getParameterTypes();\r
  13 }\r