traits

Common traits for generic functionality
Library traits
Module Traits
module PartialEq : sig ... end

PartialEq defines primitives for partial equivalence for two types (t and rhs)

module Eq : sig ... end

Eq defines primitives for equivalence for type t

module PartialOrd : sig ... end

PartialOrd defines primitives for partial order over two types (t and rhs)

module Ord : sig ... end

Ord defines primitives for total order over type t

module Ordering : sig ... end

Relative ordering

module Int : sig ... end

Standard traits implementations for int

module Option : sig ... end

Standard traits implementations for option