(fast-alist-free-list x) → *
Function:
(defun fast-alist-free-list (x) (declare (xargs :guard t)) (let ((__function__ 'fast-alist-free-list)) (declare (ignorable __function__)) (if (atom x) nil (prog2$ (fast-alist-free (car x)) (fast-alist-free-list (cdr x))))))