Major Section: ACL2-BUILT-INS
The predicate rational-listp tests whether its argument is a true list of rational numbers.
rational-listp
To see the ACL2 definition of this function, see pf.
