		Search-engine friendly clone of the ACL2 documentation.

Verilog-printing

Vl-ps->show-atts-p

Should Verilog-2005 (* key = val *)-style attributes be shown?

Signature
(vl-ps->show-atts-p &key (ps 'ps)) → *

Definitions and Theorems

Function: vl-ps->show-atts-p-fn

(defun vl-ps->show-atts-p-fn (ps)
  (declare (xargs :stobjs (ps)))
  (declare (xargs :guard t))
  (let ((__function__ 'vl-ps->show-atts-p))
    (declare (ignorable __function__))
    (let ((hidep (cdr (assoc-equal :vl-hide-atts (vl-ps->misc)))))
      (not hidep))))