Up
Module
With_zero
(
T
: sig .. end) :
With_zero
with
type
t
:=
T.t
Parameters
T
: sig .. end
Signature
type
t
val
validate_positive :
t
Core_kernel.Validate.check
val
validate_non_negative :
t
Core_kernel.Validate.check
val
validate_negative :
t
Core_kernel.Validate.check
val
validate_non_positive :
t
Core_kernel.Validate.check
val
is_positive :
t
-> bool
val
is_non_negative :
t
-> bool
val
is_negative :
t
-> bool
val
is_non_positive :
t
-> bool