		Search-engine friendly clone of the ACL2 documentation.

Dupeinst-check

Vl-pp-dupeinst-key

Signature
(vl-pp-dupeinst-key x &key (ps 'ps)) → ps
Arguments: x — Guard (vl-dupeinst-key-p x).

Definitions and Theorems

Function: vl-pp-dupeinst-key-fn

(defun vl-pp-dupeinst-key-fn (x ps)
  (declare (xargs :stobjs (ps)))
  (declare (xargs :guard (vl-dupeinst-key-p x)))
  (let ((__function__ 'vl-pp-dupeinst-key))
    (declare (ignorable __function__))
    (b* (((vl-dupeinst-key x)))
      (vl-ps-seq (vl-print-str x.modname)
                 (vl-print "{")
                 (vl-pp-exprlist x.inputs)
                 (vl-println "}")))))