Validate (odoc.core_kernel.Core_kernel.Comparable.Validate)

Parameters

module T : sig ... end

val validate_lbound : min:T.t Base.Maybe_bound.t -> T.t Base.Validate.check

val validate_ubound : max:T.t Base.Maybe_bound.t -> T.t Base.Validate.check

val validate_bound : min:T.t Base.Maybe_bound.t -> max:T.t Base.Maybe_bound.t -> T.t Base.Validate.check