		Search-engine friendly clone of the ACL2 documentation.

Expand.lisp

Msg-list

Signature
(msg-list x) → msg
Arguments: x — list of msg objects.
Returns: msg — single msg object containing the list.

Definitions and Theorems

Function: msg-list

(defun msg-list (x)
  (declare (xargs :guard t))
  (let ((__function__ 'msg-list))
    (declare (ignorable __function__))
    (if (atom x)
        ""
      (if (car x)
          (msg "~@0~%~@1" (car x)
               (msg-list (cdr x)))
        (msg-list (cdr x))))))