		Search-engine friendly clone of the ACL2 documentation.

Sneaky-save

Sneaky-save-mutator

Signature
(sneaky-save-mutator ignored val) → *
Arguments: val — Guard (consp val).

Definitions and Theorems

Function: sneaky-save-mutator

(defun sneaky-save-mutator (ignored val)
  (declare (xargs :guard (consp val)))
  (declare (ignore ignored))
  (let ((__function__ 'sneaky-save-mutator))
    (declare (ignorable __function__))
    (list val)))