Vl-print-useset-report-full-aux
- Signature
(vl-print-useset-report-full-aux x suppress-spuriousp
suppress-unusedp suppress-unsetp
suppress-typosp suppress-linputsp
suppress-warningsp &key (ps 'ps))
→
ps- Arguments
- x — Guard (vl-useset-report-p x).
Definitions and Theorems
Function: vl-print-useset-report-full-aux-fn
(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)))))
