Module Parsing_utils

module Parsing_utils: sig .. end

Utils for Parsing

val parse_tptp : string ->
       (Libzipperposition.UntypedAST.statement Sequence.t, string) CCError.t

val parse : string ->
       (Libzipperposition.UntypedAST.statement Sequence.t, string) CCError.t

Parse file using the input format chosen by the user