		Search-engine friendly clone of the ACL2 documentation.

Verilog-printing

Vl-ps->mimic-linebreaks-p

Should we try to emulate linebreaks from the original input?

Signature
(vl-ps->mimic-linebreaks-p &key (ps 'ps)) → *

Definitions and Theorems

Function: vl-ps->mimic-linebreaks-p-fn

(defun vl-ps->mimic-linebreaks-p-fn (ps)
 (declare (xargs :stobjs (ps)))
 (declare (xargs :guard t))
 (let ((__function__ 'vl-ps->mimic-linebreaks-p))
  (declare (ignorable __function__))
  (let
   ((disregardp
        (cdr (assoc-equal :vl-disregard-linebreaks (vl-ps->misc)))))
   (not disregardp))))