Jukebox.TPTP.Parse.Core

Jukebox.TPTP.Parse.Core

data ParseState

type ParsecState

data IncludeStatement

initialStateFrom

data ParseResult a

parseProblemFrom

data Thing

class TermLike a

data Mode

class FormulaLike a

data Type_

typeDeclaration