Pretty-print a blank line of code, as a singleton list of lines.
(pprint-one-line-blank) → lines
Function:
(defun pprint-one-line-blank nil (declare (xargs :guard t)) (let ((__function__ 'pprint-one-line-blank)) (declare (ignorable __function__)) (list (pprint-line-blank))))
Theorem:
(defthm msg-listp-of-pprint-one-line-blank (b* ((lines (pprint-one-line-blank))) (msg-listp lines)) :rule-classes :rewrite)