Data.Logic.Classes.FirstOrder
class FirstOrderFormula formula atom v
data Quant
zipFirstOrder
pApp
pApp0
pApp1
pApp2
pApp3
pApp4
pApp5
pApp6
pApp7
for_all'
exists'
quant
(!)
(?)
(∀)
(∃)
quant'
convertFOF
toPropositional
withUnivQuants
showFirstOrder
prettyFirstOrder
fixityFirstOrder
foldAtomsFirstOrder
mapAtomsFirstOrder
onatoms
overatoms
atom_union
fromFirstOrder
fromLiteral