Twee.Constraints
data Atom f
atoms
toTerm
fromTerm
data Formula f
negateFormula
conj
disj
(&&&)
(|||)
true
false
data Branch f
trueBranch
norm
contradictory
formAnd
branches
addLess
addEquals
addTerm
data Model f
modelToLiterals
modelFromOrder
weakenModel
varInModel
varGroups
class Minimal a
lessEqInModel
solve
class Ordered f
data Strictness