Major Section: SWITCHES-PARAMETERS-AND-MODES
Please see set-default-hints, see add-default-hints, and
see remove-default-hints for how to use this table. For completeness, we
mention here that under the hood, these events all update the
default-hints-table by updating its key,
t, for example as follows.
(table default-hints-table t '((computed-hint-1 clause) (computed-hint-2 clause stable-under-simplificationp)))
The use of default hints is explained elsewhere; see set-default-hints.
Advanced users only: see override-hints for an advanced variant of default hints.