		Search-engine friendly clone of the ACL2 documentation.

Std/typed-lists

String-or-symbol-listp

Recognize true lists of strings and symbols.

Definitions and Theorems

Function: string-or-symbol-listp

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