(vl-print-useset-report-full-aux x suppress-spuriousp suppress-unusedp suppress-unsetp suppress-typosp suppress-linputsp suppress-warningsp &key (ps 'ps)) → ps
Function:
(defun vl-print-useset-report-full-aux-fn (x suppress-spuriousp suppress-unusedp suppress-unsetp suppress-typosp suppress-linputsp suppress-warningsp ps) (declare (xargs :stobjs (ps))) (declare (xargs :guard (vl-useset-report-p x))) (let ((__function__ 'vl-print-useset-report-full-aux)) (declare (ignorable __function__)) (if (atom x) ps (vl-ps-seq (vl-print-useset-report-entry (car x) t suppress-spuriousp suppress-unusedp suppress-unsetp suppress-typosp suppress-linputsp suppress-warningsp) (vl-print-useset-report-full-aux (cdr x) suppress-spuriousp suppress-unusedp suppress-unsetp suppress-typosp suppress-linputsp suppress-warningsp)))))