Up

Module Validate (T : sig .. end) : Validate with type t := T.t

Parameters

T : sig .. end

Signature

type t
val validate_lbound : min:t Maybe_bound.t -> t Validate.check
val validate_ubound : max:t Maybe_bound.t -> t Validate.check
val validate_bound : min:t Maybe_bound.t -> max:t Maybe_bound.t -> t Validate.check