1 package org.simantics.scl.compiler.elaboration.chr;
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;
8 public interface CHRRelation {
9 public static final TVar A = Types.var(Kinds.STAR);
11 TVar[] getTypeVariables();
12 Type[] getParameterTypes();