		Search-engine friendly clone of the ACL2 documentation.

Fraig

Print-classes-counts

Signature
(print-classes-counts classes) → *

Definitions and Theorems

Function: print-classes-counts

(defun print-classes-counts (classes)
  (declare (xargs :stobjs (classes)))
  (declare (xargs :guard t))
  (let ((__function__ 'print-classes-counts))
    (declare (ignorable __function__))
    (b* (((mv nclasses nconst-lits nclass-lits)
          (classes-counts classes)))
      (cw "Number of classes: ~x0 Const lits: ~x1 Class lits: ~x2~%"
          nclasses nconst-lits nclass-lits))))