		Search-engine friendly clone of the ACL2 documentation.

Sneaky

Sneaky-clear

Clear all data stored in the sneaky store.

Signature
(sneaky-clear) → *

Definitions and Theorems

Function: sneaky-clear

(defun sneaky-clear
       nil (declare (xargs :guard t))
       (let ((__function__ 'sneaky-clear))
            (declare (ignorable __function__))
            (raise "Under-the-hood definition not yet installed")))