Module Sequence.Map

module Map: sig .. end

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