		Search-engine friendly clone of the ACL2 documentation.

Memoize

Memoize-summary

Display all collected profiling and memoization info

Logically, this function just returns nil, but it displays profiling and memoization table information. The profiling statistics may be cleared with (clear-memoize-statistics).

Note that by default, statistics might be inaccurate when calls of memoized functions are aborted. This issue can be avoided, however; see protect-memoize-statistics.