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