Major Section: ACL2-BUILT-INS
(listp x) is true when
x is either a
cons pair or is
Listp has no guard, i.e., its guard is
Listp is a Common Lisp function. See any Common Lisp
documentation for more information.
To see the ACL2 definition of this function, see pf.