STANDARD-STRING-ALISTP.html -- ACL2 Version 6.3

### STANDARD-STRING-ALISTP

recognizer for association lists with standard strings as keys

    Major Section:  ACL2-BUILT-INS

`(Standard-string-alistp x)` is true if and only if `x` is a list of pairs of the form `(cons key val)` where `key` is a string all of whose characters are standard (see standard-char-p).

`Standard-string-alistp` has a guard of `t`.

To see the ACL2 definition of this function, see pf.