		Search-engine friendly clone of the ACL2 documentation.

Sneaky-cw

Sneaky-cw-mutator

Signature
(sneaky-cw-mutator stored-vals name) → *
Arguments: stored-vals — Guard (consp stored-vals).

Definitions and Theorems

Function: sneaky-cw-mutator

(defun sneaky-cw-mutator (stored-vals name)
  (declare (xargs :guard (consp stored-vals)))
  (declare (ignorable name))
  (let ((__function__ 'sneaky-cw-mutator))
    (declare (ignorable __function__))
    (cw "~x0" (car stored-vals))))