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

fof

tff

data Thing

class TermLike a

class FormulaLike a

term

literal

formula

quantified

unitary

varDecl

type_

data Type_

prod

arrow

leaf

compoundType

typeDeclaration