		Search-engine friendly clone of the ACL2 documentation.

Verilog-printing

Vl-progindent-block-start

Signature
(vl-progindent-block-start &key (ps 'ps)) → ps

Definitions and Theorems

Function: vl-progindent-block-start-fn

(defun vl-progindent-block-start-fn (ps)
  (declare (xargs :stobjs (ps)))
  (declare (xargs :guard t))
  (let ((__function__ 'vl-progindent-block-start))
    (declare (ignorable __function__))
    (let* ((ind (vl-ps->autowrap-ind))
           (ps (vl-ps-update-autowrap-ind (+ 2 ind)))
           (col (vl-ps->autowrap-col))
           (ps (vl-ps-update-autowrap-col (+ 2 col))))
      ps)))