R-EQLABLE-ALISTP

recognizer for a true list of pairs whose cdrs are suitable for eql 
Major Section:  ACL2-BUILT-INS

The predicate r-eqlable-alistp tests whether its argument is a true-listp of consp objects whose cdrs all satisfy eqlablep.

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