Simple abstraction over `iter` functions, intended to iterate efficiently on collections while performing some transformations
Library iter
Module Iter . Map
module type S = sig ... end
module Adapt (M : 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 : Map.OrderedType) : S with type key = V.t

Create an enriched Map module, with iterator-aware functions