Sneaky-pop-mutator
- Signature
(sneaky-pop-mutator stored-vals name) → *
- Arguments
- stored-vals — Guard (consp stored-vals).
Definitions and Theorems
Function: sneaky-pop-mutator
(defun sneaky-pop-mutator (stored-vals name)
(declare (xargs :guard (consp stored-vals)))
(let ((__function__ 'sneaky-pop-mutator))
(declare (ignorable __function__))
(b* ((old-val (car stored-vals))
((when (atom old-val))
(cw "; Sneaky-pop of empty ~x0: ~x1~%"
name old-val)
(list (cons name nil)))
(new-val (cdr old-val)))
(list (cons name new-val)))))
