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