Set-bad-lisp-consp-memoize
Turn off or on memoization of raw Lisp function bad-lisp-consp
WARNING: This is an advanced utility, recommended only for users
who understand ACL2 at a deep level. Calling this function can permanently
alter the performance of low-level raw Lisp function
bad-lisp-consp.
Invoke (set-bad-lisp-consp-memoize t) to memoize raw Lisp function
bad-lisp-consp, which is memoized by default in ACL2 but not ACL2(p).
This call has no effect if bad-lisp-consp is already memoized.
Similarly, invoke (set-bad-lisp-consp-memoize nil) to unmemoize
bad-lisp-consp; this call has no effect if bad-lisp-consp is
already unmemoized.
