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 sequence-aware
module Make : functor (V : Map.OrderedType) -> S with type Make.key = V.t
Create an enriched Map module, with sequence-aware functions