Recognizer for a true list of objects each suitable for eql
The predicate eqlable-listp tests whether its argument is a true-listp of objects satisfying eqlablep.
Function: eqlable-listp
(defun eqlable-listp (l) (declare (xargs :guard t)) (if (consp l) (and (eqlablep (car l)) (eqlable-listp (cdr l))) (equal l nil)))
