(in-package "ACL2")
(include-book "std/util/defalist" :dir :system)
(defalist string-symbol-alistp (x) :parents (std/typed-alists) :short "Recognize alists from strings to symbols." :key (stringp x) :val (symbolp x) :true-listp t :keyp-of-nil nil :valp-of-nil t)