Module TPTP_model_parser

module TPTP_model_parser: sig .. end

type token =

`\|`	`VLINE`
`\|`	`UPPER_WORD of string`
`\|`	`UNDERSCORE`
`\|`	`TRUE`
`\|`	`SINGLE_QUOTED of string`
`\|`	`ROLE_FI_PREDICATES`
`\|`	`ROLE_FI_FUNCTORS`
`\|`	`ROLE_FI_DOMAIN`
`\|`	`RIGHT_PAREN`
`\|`	`RIGHT_BRACKET`
`\|`	`NOT`
`\|`	`LOWER_WORD of string`
`\|`	`LEFT_PAREN`
`\|`	`LEFT_BRACKET`
`\|`	`INTEGER of string`
`\|`	`FORALL`
`\|`	`FOF`
`\|`	`FALSE`
`\|`	`EQUIV`
`\|`	`EQUAL`
`\|`	`EOI`
`\|`	`DOT`
`\|`	`DOLLAR_WORD of string`
`\|`	`DISTINCT_OBJECT of string`
`\|`	`COMMA`
`\|`	`COLON`
`\|`	`AND`

exception Error

val parse_statement_list : (Lexing.lexbuf -> token) ->
       Lexing.lexbuf -> TPTP_model_ast.statement list

val parse_statement : (Lexing.lexbuf -> token) ->
       Lexing.lexbuf -> TPTP_model_ast.statement