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