Restrictions on the
(tree-list-*-rule-/-*cwsp-cnl-restriction-p x) → std::bool
This lifts the restriction
captured by tree-rule-/-*cwsp-cnl-restriction-p
from
Function:
(defun tree-list-*-rule-/-*cwsp-cnl-restriction-p (x) (declare (xargs :guard (and (tree-listp x) (tree-list-match-repetition-p x (*_ (!_ (/_ *rule*) (/_ (!_ (/_ (*_ *c-wsp*) *c-nl*))))) *grammar*) (tree-list-terminatedp x)))) (let ((__function__ 'tree-list-*-rule-/-*cwsp-cnl-restriction-p)) (declare (ignorable __function__)) (if (consp x) (and (tree-rule-/-*cwsp-cnl-restriction-p (car x)) (tree-list-*-rule-/-*cwsp-cnl-restriction-p (cdr x))) t)))