(memoize-summary)
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.
Logically, this function just returns nil. It clears all profiling info
displayed by (memoize-summary)