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
Library traits
module type Trait = sig ... end
PartialOrd
implementation signature
module type T = sig ... end
Signature that defines PartialOrd
conformity
val partial_cmp :
(module T with type PartialOrd.rhs = 'b and type PartialOrd.t = 'a) ->
'a0 ->
'b0 ->
Ordering.t option
Compares values x
and y
with module M
and returns an ordering if one exists