Module Identifiable

a signature for identifier types.

module type S = sig .. end

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

Used for making an Identifiable module.

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