[helm.git] / helm / software / components / binaries / matitaprover / tptp_cnf.mli

val parse: 
      tptppath:string -> string -> 
         (Ast.term * Ast.term) list * (Ast.term * Ast.term) list