		Search-engine friendly clone of the ACL2 documentation.

Verilog-printing

Vl-progindent-block-end

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

Definitions and Theorems

Function: vl-progindent-block-end-fn

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