Iter.Map
module type S = sig ... end
module Adapt (M : sig ... end) : S with type key := M.key and type 'a t := 'a M.t
Adapt a pre-existing Map module to make it iterator-aware