		Search-engine friendly clone of the ACL2 documentation.

Vl-basic-fmt

Vl-fmt-tilde-s

Signature
(vl-fmt-tilde-s x &key (ps 'ps)) → ps

Definitions and Theorems

Function: vl-fmt-tilde-s-fn

(defun vl-fmt-tilde-s-fn (x ps)
  (declare (xargs :stobjs (ps)))
  (declare (xargs :guard t))
  (let ((__function__ 'vl-fmt-tilde-s))
    (declare (ignorable __function__))
    (cond ((stringp x) (vl-print x))
          (t (vl-fmt-tilde-x x)))))