Jukebox.TPTP.ClauseParser

data ParseState

type Parser

type ParsecState

data IncludeStatement

initialState

testParser

getProblem

keyword'

keyword

punct'

punct

defined'

defined

variable

number

atom

parens

bracks

binExpr

section

input

kind

tag

include

newFormula

newNameFrom

findType

newFunction

applyFunction

typeError

lookupFunction

individual

cnf

tff

fof

data Thing

class TermLike a

class FormulaLike a

term

literal

unitary

quantified

formula

varDecl

type_

data Type_

prod

arrow

leaf

compoundType

typeDeclaration