Module Packed_map

module Packed_map: Packed_map

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