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