bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRelation.java

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