Data.Logic.ATP.Apply

class IsPredicate predicate

class HasApply atom

atomFuncs

functions

class JustApply atom

foldApply

prettyApply

overtermsApply

ontermsApply

zipApplys

showApply

convertApply

onformula

pApp

data FOLAP predicate term

data Predicate

type ApAtom