Comparable.Validate
module T : sig ... end
val validate_lbound : min:T.t Maybe_bound.t -> T.t Validate.check
val validate_ubound : max:T.t Maybe_bound.t -> T.t Validate.check
val validate_bound :
min:T.t Maybe_bound.t ->
max:T.t Maybe_bound.t ->
T.t Validate.check