string-or-symbol-listp

(in-package "ACL2")

(defsection string-or-symbol-listp
  :parents (std/typed-lists)
  :short "Recognize true lists of strings and symbols."
  (defun string-or-symbol-listp
    (x)
    (declare (xargs :guard t))
    (if (atom x)
      (null x)
      (and (or (stringp (car x)) (symbolp (car x)))
        (string-or-symbol-listp (cdr x))))))