(vl-tokentypelist-p x) recognizes lists where every element satisfies vl-tokentype-p.
(vl-tokentypelist-p x) → std::bool
This is an ordinary deflist. It is
"strict" in that it requires
Function:
(defun vl-tokentypelist-p (x) (declare (xargs :guard t)) (let ((__function__ 'vl-tokentypelist-p)) (declare (ignorable __function__)) (if (consp x) (and (vl-tokentype-p (car x)) (vl-tokentypelist-p (cdr x))) (null x))))