Module TPTP_model_lexer

module TPTP_model_lexer: sig .. end

val __ocaml_lex_tables : Lexing.lex_tables

val token : Lexing.lexbuf -> TPTP_model_parser.token

val __ocaml_lex_token_rec : Lexing.lexbuf -> int -> TPTP_model_parser.token

val parse_str_ : ((Lexing.lexbuf -> TPTP_model_parser.token) -> Lexing.lexbuf -> 'a) ->
       string -> 'a

val try_parse_ : ((Lexing.lexbuf -> TPTP_model_parser.token) -> Lexing.lexbuf -> 'a) ->
       string -> ('a, string) CCError.t