Up
Module
Cutoff
Signature
type
'a t
val
sexp_of_t : ('a ->
Sexplib.Sexp.t
) -> 'a
t
->
Sexplib.Sexp.t
val
invariant : 'a
Core_kernel.Invariant_intf.inv
-> 'a
t
Core_kernel.Invariant_intf.inv
val
create : (old_value:'a -> new_value:'a -> bool) -> 'a
t
val
of_compare : ('a -> 'a -> int) -> 'a
t
val
always : 'a
t
val
never : 'a
t
val
phys_equal : 'a
t
val
poly_equal : 'a
t
val
should_cutoff : 'a
t
-> old_value:'a -> new_value:'a -> bool
val
equal : 'a
t
-> 'a
t
-> bool