Module Comparable.With_zero

Parameters

module T : sig ... end

Signature

val validate_positive : T.t Validate.check
val validate_non_negative : T.t Validate.check
val validate_negative : T.t Validate.check
val validate_non_positive : T.t Validate.check
val is_positive : T.t -> bool
val is_non_negative : T.t -> bool
val is_negative : T.t -> bool
val is_non_positive : T.t -> bool
val sign : T.t -> Base__Sign0.t

Returns Neg, Zero, or Pos in a way consistent with the above functions.