Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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