package traits

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Traits.Ord`Source

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

Sourcemodule type Trait = sig ... end

Ord implementation signature

Sourcemodule type T = sig ... end

Signature that defines Ord conformity

Sourcemodule Make (T : sig ... end) : sig ... end

Defines a default implementation of Trait over an existing PartialOrd.Trait definition

Sourceval cmp : (module T with type Ord.t = 'a) -> 'a -> 'a -> Ordering.t

Compares values x and y with module M and returns an ordering, left to right