Data.Logic.Classes.Equals
class AtomEq atom p term
applyEq
data PredicateName p
zipAtomsEq
apply0
apply1
apply2
apply3
apply4
apply5
apply6
apply7
pApp
pApp0
pApp1
pApp2
pApp3
pApp4
pApp5
pApp6
pApp7
showFirstOrderFormulaEq
(.=.)
(≡)
(.!=.)
(≢)
fromAtomEq
showAtomEq
prettyAtomEq
varAtomEq
substAtomEq
funcsAtomEq