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