RESTORE-MEMOIZATION-SETTINGS.html -- ACL2 Version 6.3

## RESTORE-MEMOIZATION-SETTINGS

restore the saved memoization settings

    Major Section:  EVENTS

For background on memoization, see memoize.

    General Form:
    (restore-memoization-settings)

Calls of this macro restore the memoization settings saved by `save-and-clear-memoization-settings`.

## Some Related Topics

- ### HONS-AND-MEMOIZATION -- hash cons, function memoization, and applicative hash tables