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

The predicate good-atom-listp tests whether its argument is a true-listp of ``good'' atoms, i.e., where each element is a number, a symbol, a character, or a string.

Also see atom-listp.

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