MEMSUM

display all collected profiling and memoization info
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.

This macro is an abbreviation for memoize-summary. Logically, it just returns nil.