HONS-SHRINK-ALIST_bang_.html -- ACL2 Version 6.3

## HONS-SHRINK-ALIST!

`(hons-shrink-alist! alist ans)` is an alternative to `hons-shrink-alist` `` that produces a normed result.

    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 is just `hons-shrink-alist`; we leave it enabled and would think it odd to ever prove a theorem about it.

Under the hood, this is the same as `hons-shrink-alist` except that it uses something like `hons-acons!` instead of `hons-acons`. You generally should not use this function unless you really know what you're doing and understand the drawbacks discussed in `hons-acons!`.