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.
