ConstraintRelation#

class ConstraintRelation#

The relation between two terms of a constraint.

Fields#

class ConstraintRelation
EQ#

The type of the None singleton.

GE#

The type of the None singleton.

LE#

The type of the None singleton.