		Search-engine friendly clone of the ACL2 documentation.

Undocumented

String-keyed-alist-p

Recognizer for alists whose keys are strings. Used to implement and extend regex-get.

Signature
(string-keyed-alist-p x) → *

Definitions and Theorems

Function: string-keyed-alist-p

(defun string-keyed-alist-p (x)
  (declare (xargs :guard t))
  (let ((__function__ 'string-keyed-alist-p))
    (declare (ignorable __function__))
    (cond ((atom x) (null x))
          (t (and (consp (car x))
                  (stringp (caar x))
                  (string-keyed-alist-p (cdr x)))))))