package traits

  1. Overview
  2. Docs

Module TraitsSource

Sourcemodule PartialEq : sig ... end

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

Sourcemodule Eq : sig ... end

Eq defines primitives for equivalence for type t

Sourcemodule PartialOrd : sig ... end

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

Sourcemodule Ord : sig ... end

Ord defines primitives for total order over type t

Sourcemodule Ordering : sig ... end

Relative ordering

Sourcemodule Int : sig ... end

Standard traits implementations for int

Sourcemodule Option : sig ... end

Standard traits implementations for option