|
|
|---|
|
|
|
|---|
Extension of 4v-sexpr-vars to a sexpr alist.
(4v-sexpr-vars-alist x) is given an alist whose values should be sexprs; it collects the variables and returns them all together as a single set.
Function:
(defun 4v-sexpr-vars-alist (x) (declare (xargs :guard t)) (4v-sexpr-vars-list (alist-vals x)))