traits
Common traits for generic functionality
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module type Trait = sig ... endEq implementation signature
module type T = sig ... endSignature that defines Eq conformity
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 ->
boolTests 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 ->
boolTests x and y to be unequal with a module M that implements signature T