Up
Module type
Validate
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