(hons-summary)prints basic information about the sizes of the tables in
the current Hons Space.
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.
hons-summary just returns nil; we leave it enabled and would
think it odd to ever prove a theorem about it.
Under the hood, this function gathers and prints some basic information about the sizes of the tables in the Hons Space.
This information may be useful for deciding if you want to garbage collect
using functions such as
hons-wash. It may also be
useful for determining good initial sizes for the Hons Space hash tables for
your particular computation; see hons-resize.