traits
Common traits for generic functionality
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library traits
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