		Search-engine friendly clone of the ACL2 documentation.

Vl-basic-fmt

Vl-fmt-print-space

Signature
(vl-fmt-print-space &key (ps 'ps)) → ps

Definitions and Theorems

Function: vl-fmt-print-space-fn

(defun vl-fmt-print-space-fn (ps)
  (declare (xargs :stobjs (ps)))
  (declare (xargs :guard t))
  (let ((__function__ 'vl-fmt-print-space))
    (declare (ignorable __function__))
    (if (vl-ps->htmlp)
        (vl-print " ")
      (b* ((rchars (vl-ps->rchars))
           (col (vl-ps->col))
           (autowrap-col (vl-ps->autowrap-col))
           ((when (< col autowrap-col))
            (vl-ps-seq (vl-ps-update-rchars (cons #\Space rchars))
                       (vl-ps-update-col (+ 1 col))))
           (indent (vl-ps->autowrap-ind))
           (rchars (cons #\Newline rchars))
           (rchars (make-list-ac indent #\Space rchars)))
        (vl-ps-seq (vl-ps-update-rchars rchars)
                   (vl-ps-update-col indent))))))