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