Module Make.Map

Parameters

• V : ValueS

Signature

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