Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package traits
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
PartialOrd defines primitives for partial order over two types (t and rhs)
In order for a module to implement PartialOrd, it has to conform to the T signature, which implies conformance to PartialEq.T
The comparison must satisfy the following conditions:
- Transitivity:
a < bandb < cimplesa < c. The same holds of equality and> - Duality:
a < bif and only ifb > a
module type Trait = sig ... endPartialOrd implementation signature
module type T = sig ... endSignature that defines PartialOrd conformity
val partial_cmp :
(module T with type PartialOrd.rhs = 'b and type PartialOrd.t = 'a) ->
'a0 ->
'b0 ->
Ordering.t optionCompares values x and y with module M and returns an ordering if one exists