		Search-engine friendly clone of the ACL2 documentation.

Verilog-printing

Vl-ps->use-origexprs-p

Should we print VL_ORIG_EXPR fields?

Signature
(vl-ps->use-origexprs-p &key (ps 'ps)) → *

Definitions and Theorems

Function: vl-ps->use-origexprs-p-fn

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