Module Comparable.With_zero
Parameters
T : sig ... end
Signature
val sign : T.t -> Base__.Sign0.t
Returns
Neg
,Zero
, orPos
in a way consistent with the above functions.
val is_non_positive : T.t -> bool
val is_negative : T.t -> bool
val is_non_negative : T.t -> bool
val is_positive : T.t -> bool
val validate_non_positive : T.t Base.Validate.check
val validate_negative : T.t Base.Validate.check
val validate_non_negative : T.t Base.Validate.check
val validate_positive : T.t Base.Validate.check