package core

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Extends Base.Comparator, providing a type-indexed value that allows you to compare values of that type.

type ('a, 'witness) t = private ('a, 'witness) Base.Comparator.t = {
  1. compare : 'a -> 'a -> Base.Int.t;
  2. sexp_of_t : 'a -> Base.Sexp.t;
}
type (!'a, !'b) comparator = ('a, 'b) t
module type S = sig ... end
module type S1 = sig ... end
module type S_fc = sig ... end
val make : compare:('a -> 'a -> int) -> sexp_of_t:('a -> Base__.Sexp.t) -> (module S_fc with type comparable_t = 'a)
module Poly : sig ... end
module Module : sig ... end
val of_module : ('a, 'b) Module.t -> ('a, 'b) t
val to_module : ('a, 'b) t -> ('a, 'b) Module.t
module S_to_S1 (S : S) : sig ... end
module Make (M : sig ... end) : sig ... end
module Make1 (M : sig ... end) : sig ... end
module type Derived = sig ... end
module Derived (M : sig ... end) : sig ... end
module type Derived2 = sig ... end
module Derived2 (M : sig ... end) : sig ... end
module type Derived_phantom = sig ... end
module Derived_phantom (M : sig ... end) : sig ... end
module type Derived2_phantom = sig ... end
module Derived2_phantom (M : sig ... end) : sig ... end

The following module types and functors may be used to define stable modules

module Stable : sig ... end
OCaml

Innovation. Community. Security.