Minusp
Test whether a number is negative
(Minusp x) is true if and only if x < 0.
The guard of minusp requires its argument to be a rational
(real, in ACL2(r)) number.
Minusp is a Common Lisp function. See any Common Lisp documentation
for more information.
Function: minusp
(defun minusp (x)
(declare (xargs :guard (real/rationalp x)))
(< x 0))
