package org.simantics.scl.compiler.elaboration.chr.relations;
import org.simantics.scl.compiler.elaboration.chr.CHRRelation;
+import org.simantics.scl.compiler.types.TPred;
import org.simantics.scl.compiler.types.TVar;
import org.simantics.scl.compiler.types.Type;
import org.simantics.scl.compiler.types.Types;
public Type[] getParameterTypes() {
return parameterTypes;
}
+
+ public TPred[] getTypeConstraints() {
+ return TPred.EMPTY_ARRAY;
+ }
}