module type Value =sig
..end
Datatype with a function that approximately equality in a constant-time way.
include Datatype.S
val fast_equal : t -> t -> bool
fast_equal
is used to reduce memory allocation in some cases. It is
valid to always return false
; the only constraint is that true
must
not be returned if equal
returns false
.