Make.Map
module V : ValueS
type t
val empty : t
val find : 'a Tag.tag -> t -> 'a V.t
val add : 'a onetag -> 'a V.t -> t -> t
val mem : 'a Tag.tag -> t -> bool
val modify : 'a Tag.tag -> ('a V.t -> 'a V.t) -> t -> t