Recognize true lists of repetitions, elements, rule names, and character strings.
(repetition/element/rulename/charstring-listp x) → std::bool
This is an ordinary std::deflist. It is
"strict" in that it requires
Function:
(defun repetition/element/rulename/charstring-listp (x) (declare (xargs :guard t)) (let ((__function__ 'repetition/element/rulename/charstring-listp)) (declare (ignorable __function__)) (if (consp x) (and (repetition/element/rulename/charstring-p (car x)) (repetition/element/rulename/charstring-listp (cdr x))) (null x))))