ToySolver.Data.ArithRel

Relational operators

data RelOp

flipOp

negOp

showOp

evalOp

Relation

data Rel e

DSL

class IsRel e r

(.<.)

(.<=.)

(.>=.)

(.>.)

(.==.)

(./=.)