Module type Comparable.Validate

module type Validate = Comparable_intf.Validate

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