FLUSH-HONS-GET-HASH-TABLE-LINK

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.

Deprecated. Alias for fast-alist-free.