CHARACTER-ALISTP

recognizer for association lists with characters as keys
Major Section:  ACL2-BUILT-INS

(Character-alistp x) is true if and only if x is a list of pairs of the form (cons key val) where key is a characterp.