package traits

  1. Overview
  2. Docs

Module Ord.MakeSource

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

Parameters

module T : sig ... end

Signature

Sourcetype t = T.t
Sourceval cmp : T.t -> T.rhs -> Ordering.t