Data.Logic.ATP.Parser
fof
pf
lit
term
parseFOL
parsePL
parseLit
parseFOLTerm
def
m_parens
m_angles
m_symbol
m_integer
m_identifier
m_reservedOp
m_reserved
m_whiteSpace
litparser
propparser
folparser
litexprparser
propexprparser
litterm
propterm
folterm
existentialQuantifier
forallQuantifier
quantifierId
quantifierOp
folpredicate_infix
folpredicate
folfunction
folconstant_numeric
folconstant_reserved
folconstant
folsubterm
folsubterm_prefix
folfunction_infix
allOps
allIds
predicate_infix_symbols
constants
notOps
trueOps
trueIds
falseOps
falseIds
provesOps
entailsOps
equateOps
andOps
orOps
impOps
iffOps
forallIds
forallOps
existsIds
existsOps