EQL

test equality (of two numbers, symbols, or characters)
Major Section:  ACL2-BUILT-INS

(eql x y) is logically equivalent to (equal x y).

Unlike equal, 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 equal.

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.