Recognize true lists of translated lambda expressions.
(lambda-listp x wrld) → std::bool
This is an ordinary std::deflist. It is
"strict" in that it requires
Function:
(defun lambda-listp (x wrld) (declare (xargs :guard (plist-worldp-with-formals wrld))) (let ((__function__ 'lambda-listp)) (declare (ignorable __function__)) (if (consp x) (and (lambdap (car x) wrld) (lambda-listp (cdr x) wrld)) (null x))))