Module Info

module Info: sig .. end

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