Map (iter.Iter.Map)

module type S = sig ... end

module Adapt
  (M : Stdlib.Map.S) : 
  S with type key = M.key and type 'a t = 'a M.t

Adapt a pre-existing Map module to make it iterator-aware

module Make (V : Stdlib.Map.OrderedType) : S with type key = V.t

Create an enriched Map module, with iterator-aware functions