traits
Common traits for generic functionality
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module type Trait = sig ... end
Eq
implementation signature
module type T = sig ... end
Signature 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 ->
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