functor
  (T : sig
         type t
         val zero : Comparable.Validate_with_zero.t
         val t_of_sexp : Sexplib.Sexp.t -> Comparable.Validate_with_zero.t
         val sexp_of_t : Comparable.Validate_with_zero.t -> Sexplib.Sexp.t
         val compare :
           Comparable.Validate_with_zero.t ->
           Comparable.Validate_with_zero.t -> int
       end) ->
  sig
    val validate_lbound : min:T.t Comparable_intf.bound -> T.t Validate.check
    val validate_ubound : max:T.t Comparable_intf.bound -> T.t Validate.check
    val validate_bound :
      min:T.t Comparable_intf.bound ->
      max:T.t Comparable_intf.bound -> 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
    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
  end