Module Iter.MapSource

Sourcemodule type S = sig ... end
Sourcemodule 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

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

Create an enriched Map module, with iterator-aware functions