Eqlablep
The guard for the function eql
The predicate eqlablep tests whether its argument is suitable
for eql, at least one of whose arguments must satisfy this predicate
in Common Lisp. (Eqlablep x) is true if and only if its argument is a
number, a symbol, or a character.
Function: eqlablep
(defun eqlablep (x)
(declare (xargs :guard t))
(or (acl2-numberp x)
(symbolp x)
(characterp x)))Subtopics
- Eqlable-listp
- Recognizer for a true list of objects each suitable for eql
