(table memoize-table fn nil). When successful, the returned
value is of the form (mv nil function-symbol state).
Major Section: EVENTS
Example: (unmemoize 'foo) ; turn off memoization of fooGeneral Form: (unmemoize fn)
where fn evaluates to a function symbol that is currently
memoized; see memoize. An exception is that as with memoize,
fn may evaluate to the name of a macro that is associated with
such a function symbol; see macro-aliases-table.
Calls of this macro generate events of the form
(table memoize-table fn nil). When successful, the returned
value is of the form (mv nil function-symbol state).