sig
  val tptppp_clause : Symbols.eva_symbol_list -> Clause.clause -> unit
  val tptppp_tclauses :
    Symbols.eva_symbol_list -> Clause.tclause list -> unit
end