ToySolver.Data.OrdRel

Relational operators

data RelOp

flipOp

negOp

showOp

evalOp

Relation

data OrdRel e

fromOrdRel

DSL

class IsEqRel e r

class IsOrdRel e r