Module Generic.Equal

Custom equal function metadata key.

If a gist or field metadata defines a value for this key, the Fun.Generic.equal function uses it for determining equality.

Using a function that always returns true like Equal.ignore can also be used to indicate that a value or field should not influence the comparison.

type 'a t = 'a -> 'a -> bool

The type for custom equal functions.

val ignore : 'a t

ignore v0 v1 is true.

val mem : ('a, 'b) Type.Gist.Meta.t2 -> bool
val add : 'b t -> ('a, 'b) Type.Gist.Meta.t2 -> ('a, 'b) Type.Gist.Meta.t2
val find : ('a, 'b) Type.Gist.Meta.t2 -> 'b t option
val remove : ('a, 'b) Type.Gist.Meta.t2 -> ('a, 'b) Type.Gist.Meta.t2