Up
Parameter
T
Signature
type
t
val
t_of_sexp :
Sexplib.Sexp.t
->
t
val
sexp_of_t :
t
->
Sexplib.Sexp.t
val
compare :
t
->
t
-> int
val
zero :
t
include
Validate
with
type
t
:=
t
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