Module type Rangemap.Value

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.