BooleanFormula

data BooleanFormula a

type LBooleanFormula a

mkFalse

mkTrue

mkAnd

mkOr

mkVar

isFalse

isTrue

eval

simplify

isUnsatisfied

implies

impliesAtom

pprBooleanFormula

pprBooleanFormulaNice