Data.Logic.ATP.Lit
class IsLiteral lit
(.~.)
(¬)
negate
negated
negative
positive
foldLiteral
class JustLiteral formula
onatomsLiteral
overatomsLiteral
zipLiterals'
zipLiterals
convertLiteral
convertToLiteral
precedenceLiteral
associativityLiteral
prettyLiteral
showLiteral
data LFormula atom
data Lit