Comparator (base.Base.Comparator)

type (!'a, !'witness) t = private {

}

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 -> Sexplib0.Sexp.t) ->
  (module S_fc
  with type comparable_t = 'a)

module Poly : sig ... end

module Module : sig ... end

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