RDLProofSystem / src / models / terms / meta / OrderConstraint.java

package models.terms.meta;

public enum OrderConstraint {
	
	EQ,
	LT,
	LE,
	GT,
	GE,
	ANY;
	
}