INTEGERP
recognizer for whole numbers
Major Section:
ACL2-BUILT-INS
(integerp x)
is true if and only if
x
is an integer.
