EQLABLE-LISTP

recognizer for a true list of objects each suitable for eql
Major Section:  ACL2-BUILT-INS

The predicate eqlable-listp tests whether its argument is a true-listp of objects satisfying eqlablep.

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