Major Section: HONS-AND-MEMOIZATION
This documentation topic relates to the experimental extension of ACL2 supporting hash cons, fast alists, and memoization; see hons-and-memoization.
Clear-memoize-tables is a logical no-op. All memoized values are
forgotten. It returns nil, invoking clear-memoize-table for each
memoized function.