(cons-subtrees x nil) builds a fast alist that associates each subtree
of X with T, without duplication.
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.
