Up – Package index » Base » Library base » Base » Identifiable

Module `Base.Identifiable`Source

Sourcemodule type Arg = sig ... end

Sourcemodule type Arg_with_comparator = sig ... end

Sourcemodule type S = sig ... end

Sourcemodule Make (M : Arg) : S with type t := M.t

Used for making an Identifiable module. Here's an example.

module Make_using_comparator
  (M : Arg_with_comparator) : 
  S with type t := M.t with type comparator_witness := M.comparator_witness