sig
  val print_clauses_info : IcSet.clauses -> unit
  val print_predicates_info : Predicate.predicate_table -> unit
  val print_symbols_info : Term.symbol_table -> unit
  val print_clauses_as_terms : IcSet.clauses -> unit
end