Module Comparable.Validate_with_zero

Parameters

module T : sig ... end

Signature

val validate_lbound : min:T.t Maybe_bound.t -> T.t Validate.check
val validate_ubound : max:T.t Maybe_bound.t -> T.t Validate.check
val validate_bound : min:T.t Maybe_bound.t -> max:T.t Maybe_bound.t -> T.t Validate.check
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