### KEYWORD-VALUE-LISTP

recognizer for true lists whose even-position elements are keywords
Major Section: ACL2-BUILT-INS

`(keyword-value-listp l)`

is true if and only if `l`

is a list of
even length of the form `(k1 a1 k2 a2 ... kn an)`

, where each `ki`

is a keyword.

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