Major Section: EVENTS
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 unique key,
t, for example as
(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.