traits

Common traits for generic functionality
Library traits
Module Traits . PartialEq
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