REAL-LISTP

ACL2(r) recognizer for a true list of real numbers
Major Section:  REAL

The predicate real-listp tests whether its argument is a true list of real numbers. This predicate is only defined in ACL2(r) (see real).