package org.simantics.scl.compiler.elaboration.chr;
+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;
TVar[] getTypeVariables();
Type[] getParameterTypes();
+ TPred[] getTypeConstraints();
+ default String[] getFieldNames() {
+ return null;
+ }
}