Module `Generic.Equal`

Custom equality key.

The Fun.Generic.equal function consults this key in the metadata of a gist g before determining equality between values described by the gist. If a function is found, the values are compared with this function instead.

This can also be used to indicate that you would not like to compare a subtructure by always returning true with Equal.ignore.

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

The type for custom equality functions.

val ignore : 'a t

ignore v0 v1 is true.

val mem : ('a, 'b) Type.Gist.Meta.t2 -> bool

val add : 'a t -> ('a, 'b) Type.Gist.Meta.t2 -> ('a, 'b) Type.Gist.Meta.t2

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

val remove : ('a, 'b) Type.Gist.Meta.t2 -> ('a, 'b) Type.Gist.Meta.t2