Make.MapS
type t
type _ value
val empty : t
val find : 'a Tag.tag -> t -> 'a value
val add : 'a onetag -> 'a value -> t -> t
val mem : 'a Tag.tag -> t -> bool
val modify : 'a Tag.tag -> ('a value -> 'a value) -> t -> t