module Tptppp: sig end
tptppp_clause sl c
pretty prints the given clause c in the TPTP format,
using the given symbol list sl.
val tptppp_clause : Symbols.eva_symbol_list -> Clause.clause -> unit
tptppp_clause sl c
pretty prints the given clause c in the TPTP format,
using the given symbol list sl.
val tptppp_tclauses : Symbols.eva_symbol_list -> Clause.tclause list -> unit
tptppp_tclauses sl cl
pretty prints the given list of tclause cl in the TPTP format,
using the given symbol list sl.
pretty print the given specification
as a set of Horn clauses in TPTP format.