Wrap an event form to have it produce screen output according to previously saved screen output settings.
(restore-output event) → new-event
This wraps the form in a
(defun restore-output (event) (declare (xargs :guard (pseudo-event-formp event))) (let ((__function__ 'restore-output)) (declare (ignorable __function__)) (cons 'with-output (cons ':stack (cons ':pop (cons event 'nil))))))
(defthm pseudo-event-formp-of-restore-output (b* ((new-event (restore-output event))) (pseudo-event-formp new-event)) :rule-classes :rewrite)