Base.Identifiable
module type Arg = sig ... end
module type Arg_with_comparator = sig ... end
module type S = sig ... end
module Make (M : Arg) : sig ... end
module Make_using_comparator (M : Arg_with_comparator) : sig ... end