Mlang.Dict
module type S = sig ... end
module Make (I : sig ... end) : S with type key = I.t and type elt = I.elt