Module `Stdune__.Univ_map`

type t: A universal map is a map that can store values for arbitrary keys. It is the the key that conveys the type of the data associated to it.

module Key : sig ... end

val empty : t
val is_empty : t -> bool
val mem : t -> 'a Key.t -> bool
val add : t -> 'a Key.t -> 'a -> t
val remove : t -> 'a Key.t -> t
val find : t -> 'a Key.t -> 'a option
val find_exn : t -> 'a Key.t -> 'a
val singleton : 'a Key.t -> 'a -> t
val superpose : t -> t -> t: superpose a b is b augmented with bindings of a that are not in b.