string-symbollist-alistp

(in-package "ACL2")

(defalist string-symbollist-alistp
  (x)
  :parents (std/typed-alists)
  :short "Recognize alists from strings to true lists of symbols."
  :key (stringp x)
  :val (symbol-listp x)
  :true-listp t
  :keyp-of-nil nil
  :valp-of-nil t)