Major Section: ACL2-BUILT-INS
(alistp x) is true if and only if x is a list of cons pairs.
(alistp x)
x
cons
(alistp x) has a guard of t.
t
To see the ACL2 definition of this function, see pf.
