Module Info


module Info: sig .. end
Printing human readable information.

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