		Search-engine friendly clone of the ACL2 documentation.

Verilog-printing

Vl-ps->copious-parens-p

Should we print expressions with extra parentheses? This may be useful when you want to show the precedence in a very explicit way.

Signature
(vl-ps->copious-parens-p &key (ps 'ps)) → *

Definitions and Theorems

Function: vl-ps->copious-parens-p-fn

(defun vl-ps->copious-parens-p-fn (ps)
  (declare (xargs :stobjs (ps)))
  (declare (xargs :guard t))
  (let ((__function__ 'vl-ps->copious-parens-p))
    (declare (ignorable __function__))
    (cdr (assoc-equal :vl-copious-parens (vl-ps->misc)))))