Module Preface_stdlib.Equivalence

Implementation for Equivalence.t.

An Equivalence is just a function that takes to 'a and return a bool.

Type

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

Implementation

Contravariant

module Contravariant : Preface_specs.CONTRAVARIANT with type 'a t = 'a t

Divisible

module Divisible : Preface_specs.DIVISIBLE with type 'a t = 'a t

Decidable

module Decidable : Preface_specs.DECIDABLE with type 'a t = 'a t

Invariant Functor

module Invariant : Preface_specs.INVARIANT with type 'a t = 'a t

Additional functions

Additional functions to facilitate practical work with Equivalence.t.

val negate : 'a t -> 'a t

negate the equivalence.