		Search-engine friendly clone of the ACL2 documentation.

Sneaky

Sneaky-delete

Delete the data stored under a key from the sneaky store.

Signature
(sneaky-delete key) → *

Definitions and Theorems

Function: sneaky-delete

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