sig
  module A = Ast_tptp
  type 'a or_error = [ `Error of string | `Ok of 'a ]
  type untyped = Libzipperposition.STerm.t
  type typed = Libzipperposition.TypedSTerm.t
  exception Error of string
  type parse_cache
  val create_parse_cache : unit -> Util_tptp.parse_cache
  val find_file : string -> string -> string option
  val parse_lexbuf :
    ?names:A.name list ->
    Lexing.lexbuf -> Util_tptp.untyped A.t Sequence.t Util_tptp.or_error
  val parse_file :
    ?cache:Util_tptp.parse_cache ->
    recursive:bool ->
    string -> Util_tptp.untyped A.t Sequence.t Util_tptp.or_error
  val print_into : 't CCFormat.printer -> 't A.t Sequence.t CCFormat.printer
  val print_into_file :
    't CCFormat.printer -> string -> 't A.t Sequence.t -> unit
  val has_includes : 'a A.t Sequence.t -> bool
  val to_ast :
    Util_tptp.untyped A.t -> Libzipperposition.UntypedAST.statement
  val of_ast :
    Libzipperposition.UntypedAST.statement -> Util_tptp.untyped A.t
end