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 -> boolfast_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.