ATOM-LISTP

recognizer for a true list of atoms 
Major Section:  ACL2-BUILT-INS

The predicate atom-listp tests whether its argument is a true-listp of atoms, i.e., of non-conses.

Also see good-atom-listp.

To see the ACL2 definition of this function, see pf.