Up

Module type Validate = Core_kernel.Comparable_intf.Validate

Signature

type t

val validate_lbound : min:t Core_kernel.Maybe_bound.t -> t Core_kernel.Validate.check

val validate_ubound : max:t Core_kernel.Maybe_bound.t -> t Core_kernel.Validate.check

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