base

Full standard library replacement for OCaml
IN THIS PACKAGE
Module Base . Identifiable
module type S = sig ... end
module Make (M : sig ... end) : S with type t := M.t

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

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