type token = | XOR| WILDCARD| VLINE| UPPER_WORD of string| UNDERSCORE| TYPE_TY| TRUE| THF| TFF| STAR| SINGLE_QUOTED of string| RIGHT_PAREN| RIGHT_BRACKET| REAL of string| RATIONAL of string| NOT_EQUAL| NOTVLINE| NOTCONST| NOTAND| NOT| LOWER_WORD of string| LEFT_PAREN| LEFT_IMPLY| LEFT_BRACKET| LAMBDA| INTEGER of string| INCLUDE| IMPLY| FORALL_TY| FORALLCONST| FORALL| FOF| FALSE| EXISTSCONST| EXISTS| EQUIV| EQUAL| EOI| DOT| DOLLAR_WORD of string| DOLLAR_DOLLAR_WORD of string| DISTINCT_OBJECT of string| COMMA| COLUMN| CNF| AT| ARROW| ANDval parse_term :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Logtk.STerm.tval parse_formula :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Logtk.STerm.tval parse_declarations :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Logtk.STerm.t Ast_tptp.declaration listval parse_declaration :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Logtk.STerm.t Ast_tptp.declarationval parse_answer_tuple :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Logtk.STerm.t list list