import org.simantics.scl.compiler.elaboration.chr.CHRRelation;
import org.simantics.scl.compiler.elaboration.relations.SCLRelation;
+import org.simantics.scl.compiler.types.TPred;
import org.simantics.scl.compiler.types.TVar;
import org.simantics.scl.compiler.types.Type;
public Type[] getParameterTypes() {
return relation.getParameterTypes();
}
+
+ @Override
+ public TPred[] getTypeConstraints() {
+ return relation.getTypeConstraints();
+ }
@Override
public String toString() {