Check if all the expressions in a list are variables.
(expression-var-listp x) → std::bool
This is an ordinary std::deflist. It is
"loose" in that it does not care whether
Function:
(defun expression-var-listp (x) (declare (xargs :guard (expression-listp x))) (let ((__function__ 'expression-var-listp)) (declare (ignorable __function__)) (if (consp x) (and (expression-case (car x) :var) (expression-var-listp (cdr x))) t)))