module
Integer
.
IsPositive
(
is_positive_integer
)
where
is_positive_integer
=
(
0
<
)