sig
  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 -> TPTP_model_parser.token) ->
    Lexing.lexbuf -> TPTP_model_ast.statement list
  val parse_statement :
    (Lexing.lexbuf -> TPTP_model_parser.token) ->
    Lexing.lexbuf -> TPTP_model_ast.statement
end