Clear-memoize-tables
Forget values remembered for all the memoized functions
Clear-memoize-tables is a logical no-op. All memoized values
are forgotten. It returns nil, invoking clear-memoize-table for
each memoized function.
Function: clear-memoize-tables
(defun clear-memoize-tables nil
(declare (xargs :guard t))
nil)
