package traits

  1. Overview
  2. Docs

PartialEq defines primitives for partial equivalence for two types (t and rhs)

In order for a module to implement PartialEq, it has to conform to the T signature.

module type Trait = sig ... end

PartialEq implementation signature

module type T = sig ... end

Signature that defines PartialEq conformity

module Make (T : sig ... end) : sig ... end

Defines a default implementation of Trait.ne over an existing Trait.eq definition

val eq : (module T with type PartialEq.rhs = 'b and type PartialEq.t = 'a) -> 'a0 -> 'b0 -> bool

Tests x and y to be equal with a module M that implements signature T

val ne : (module T with type PartialEq.rhs = 'b and type PartialEq.t = 'a) -> 'a0 -> 'b0 -> bool

Tests x and y to be unequal with a module M that implements signature T