sig
  type t
  val validate_lbound :
    min:Comparable_intf.Validate.t Comparable_intf.bound ->
    Comparable_intf.Validate.t Validate.check
  val validate_ubound :
    max:Comparable_intf.Validate.t Comparable_intf.bound ->
    Comparable_intf.Validate.t Validate.check
  val validate_bound :
    min:Comparable_intf.Validate.t Comparable_intf.bound ->
    max:Comparable_intf.Validate.t Comparable_intf.bound ->
    Comparable_intf.Validate.t Validate.check
end