Data.Logic.Classes.FirstOrder

class FirstOrderFormula formula atom v

data Quant

zipFirstOrder

for_all'

exists'

quant

(!)

(?)

(∀)

(∃)

quant'

convertFOF

toPropositional

withUnivQuants

showFirstOrder

prettyFirstOrder

fixityFirstOrder

foldAtomsFirstOrder

mapAtomsFirstOrder

onatoms

overatoms

atom_union

fromFirstOrder

fromLiteral