		Search-engine friendly clone of the ACL2 documentation.

Vl-basic-fmt

Vl-fmt-print-normal

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

Definitions and Theorems

Function: vl-fmt-print-normal-fn

(defun vl-fmt-print-normal-fn (x ps)
  (declare (xargs :stobjs (ps)))
  (declare (type character x))
  (let ((__function__ 'vl-fmt-print-normal))
    (declare (ignorable __function__))
    (cond ((eql x #\-) (vl-println? x))
          ((eql x #\Space) (vl-fmt-print-space))
          (t (vl-print x)))))