Module Data.Entry

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