module type Key : sig ... end
module type Value : sig ... end
module type S : sig ... end
module Make : functor (K : Key) -> functor (V : Value) -> S with type key := K.t and type value := V.t