traits

Common traits for generic functionality
Library traits
Module Traits . Eq
module type Trait = sig ... end

Eq implementation signature

module type T = sig ... end

Signature that defines Eq conformity

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

Defines a default implementation of Trait over an existing PartialEq.Trait definition

val eq : (module T with type Eq.t = 'a and type PartialEq.rhs = 'a0 and type PartialEq.t = 'a1) -> 'a2 -> 'a3 -> bool

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

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

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