MEMOIZE-SUMMARY.html -- ACL2 Version 6.3

## MEMOIZE-SUMMARY

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

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