Clear-memoize-table
Forget values remembered for the given function
This function returns its argument, fn, unchanged. The values
memoized for fn are forgotten.
Function: clear-memoize-table
(defun clear-memoize-table (fn)
(declare (xargs :guard t))
fn)