Check if all the repetitions in a list of repetitions are well-formed.
(repetition-list-wfp repetitions) → yes/no
Function:
(defun repetition-list-wfp (repetitions) (declare (xargs :guard (concatenationp repetitions))) (or (endp repetitions) (and (repetition-wfp (car repetitions)) (repetition-list-wfp (cdr repetitions)))))