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