public interface CHRRelation {
public static final TVar A = Types.var(Kinds.STAR);
TVar[] getTypeVariables();
Type[] getParameterTypes();
TPred[] getTypeConstraints();
public interface CHRRelation {
public static final TVar A = Types.var(Kinds.STAR);
TVar[] getTypeVariables();
Type[] getParameterTypes();
TPred[] getTypeConstraints();