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, but it displays profiling and
memoization table information. The profiling statistics may be cleared with
(clear-memoize-statistics).
