WITH-OUTPUT

suppressing or turning out specified output for an event
Major Section:  EVENTS

Example:
(with-output
   :off summary ; turn off the event summary when evaluating the following:
   (in-theory (disable name)))

General Form: (with-output :key1 val1 ... :keyk valk form)

where each :keyi is either :off or :on and either vali is either :all or else a symbol or list of symbols representing output types that can be inhibited (see set-inhibit-output-lst). The result of evaluating the General Form above is to evaluate form, but in an environment where the current set of non-inhibited output types is modified by sweeping through the with-output form from left to right, turning output on or off as indicated by each :keyi and vali.