		Search-engine friendly clone of the ACL2 documentation.

Vl-ps-seq

Macro for issuing a sequence of printer commands.

The macro (vl-ps-seq ...) can be used to combine printing commands. For instance,

(vl-ps-seq
  (vl-print "foo")
  (vl-println "bar")
  ...)

Is short for:

(let* ((ps (vl-print "foo"))
       (ps (vl-println "bar"))
       ...)
  ps)

Function: vl-ps-seq-pairs

(defun vl-ps-seq-pairs (x)
  (if (consp x)
      (cons (cons 'ps (cons (car x) 'nil))
            (vl-ps-seq-pairs (cdr x)))
    nil))