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
Ord defines primitives for total order over type t
In order for a module to implement Ord, it has to conform to the T signature, which implies conformance to Ord.T
module type Trait = sig ... endOrd implementation signature
module type T = sig ... endSignature that defines Ord conformity
Defines a default implementation of Trait over an existing PartialOrd.Trait definition
val cmp : (module T with type Ord.t = 'a) -> 'a -> 'a -> Ordering.tCompares values x and y with module M and returns an ordering, left to right