		Search-engine friendly clone of the ACL2 documentation.

Convenience-constructors

Repetition/element/rulename/charstring-listp

Recognize true lists of repetitions, elements, rule names, and character strings.

Signature
(repetition/element/rulename/charstring-listp x) → std::bool

This is an ordinary std::deflist. It is "strict" in that it requires x to be a "properly" nil-terminated list.

Definitions and Theorems

Function: repetition/element/rulename/charstring-listp

(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))))

Subtopics

Repetition/element/rulename/charstring-listp-basics: Basic theorems about repetition/element/rulename/charstring-listp, generated by std::deflist.