Module Base.Identifiable

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

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