Module TPTP_lexer

module TPTP_lexer: sig .. end

val __ocaml_lex_tables : Lexing.lex_tables

val token : Lexing.lexbuf -> TPTP_parser.token

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

type form = Nunchaku_core.UntypedAST.term 

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

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

val fo_form_of_string : string -> (Nunchaku_core.UntypedAST.term, string) CCResult.t

val fo_form_of_string_exn : string -> Nunchaku_core.UntypedAST.term

val ho_form_of_string : string -> (Nunchaku_core.UntypedAST.term, string) CCResult.t

val ho_form_of_string_exn : string -> Nunchaku_core.UntypedAST.term

include struct ... end