Data.Logic.ATP.Equate
class HasEquate atom
(.=.)
zipEquates
prettyEquate
overtermsEq
ontermsEq
showApplyAndEquate
showEquate
convertEquate
precedenceEquate
associativityEquate
data FOL predicate term
type EqAtom