`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`