Major Section: ACL2-BUILT-INS
(eql x y) is logically equivalent to
(equal x y).
eql has a guard requiring at least one of its
arguments to be a number, a symbol, or a character. Generally,
eql is executed more efficiently than
For a discussion of the various ways to test against 0, See zero-test-idioms.
Eql is a Common Lisp function. See any Common Lisp documentation
for more information.