CONS-SUBTREES

(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.