Major Section: ACL2-BUILT-INS
(equal x y) is equal to t or nil, according to whether or not x and y are the same value.
(equal x y)
t
nil
x
y
For a discussion of the various idioms for testing against 0, See zero-test-idioms.
