CONSP
recognizer for
cons
pairs
Major Section:
ACL2-BUILT-INS
(consp x)
is true if and only if
x
is a
cons
pair.
