Iter.Map
module type S = sig ... end
module Adapt : functor (M : Map.S) -> S with type Adapt.key = M.key and type 'a Adapt.t = 'a M.t
Adapt a pre-existing Map module to make it iterator-aware
module Make : functor (V : Map.OrderedType) -> S with type Make.key = V.t
Create an enriched Map module, with iterator-aware functions