### R-SYMBOL-ALISTP

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

`(R-symbol-alistp x)`

is true if and only if `x`

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

where `val`

is a `symbolp`

.

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