CLEAR-MEMOIZE-TABLE

forget values remembered for the given function
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.

This function returns its argument, fn, unchanged. The values memoized for fn are forgotten.