ACL2-NUMBER-LISTP

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

The predicate acl2-number-listp tests whether its argument is a true list of numbers.

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