### SYMBOL-ALISTP

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

`(Symbol-alistp x)`

is true if and only if `x`

is a list of pairs of the
form `(cons key val)`

where `key`

is a `symbolp`

.

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