BooleanFormula
data BooleanFormula a
type LBooleanFormula a
mkFalse
mkTrue
mkAnd
mkOr
mkVar
isFalse
isTrue
eval
simplify
isUnsatisfied
implies
impliesAtom
pprBooleanFormula
pprBooleanFormulaNice