Module Core_kernel.Univ_map

include S with type 'a S.data = 'a
type t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
type 'a data = 'a
val invariant : t Base__.Invariant_intf.inv
val empty : t
val is_empty : t -> Core_kernel__.Import.bool
val set : t -> 'a Core_kernel__.Univ_map_intf.Key.t -> 'a data -> t
val mem : t -> 'a Core_kernel__.Univ_map_intf.Key.t -> Core_kernel__.Import.bool
val mem_by_id : t -> Core_kernel__.Univ_map_intf.Key.Uid.t -> Core_kernel__.Import.bool
val find : t -> 'a Core_kernel__.Univ_map_intf.Key.t -> 'a data Core_kernel__.Import.option
val find_exn : t -> 'a Core_kernel__.Univ_map_intf.Key.t -> 'a data
val add : t -> 'a Core_kernel__.Univ_map_intf.Key.t -> 'a data -> [ `Duplicate | `Ok of t ]
val add_exn : t -> 'a Core_kernel__.Univ_map_intf.Key.t -> 'a data -> t
val change : t -> 'a Core_kernel__.Univ_map_intf.Key.t -> f:('a data Core_kernel__.Import.option -> 'a data Core_kernel__.Import.option) -> t
val change_exn : t -> 'a Core_kernel__.Univ_map_intf.Key.t -> f:('a data -> 'a data) -> t
val update : t -> 'a Core_kernel__.Univ_map_intf.Key.t -> f:('a data Core_kernel__.Import.option -> 'a data) -> t
val remove : t -> 'a Core_kernel__.Univ_map_intf.Key.t -> t
val remove_by_id : t -> Core_kernel__.Univ_map_intf.Key.Uid.t -> t
module Packed : sig ... end
val to_alist : t -> Packed.t Core_kernel__.Import.list
val of_alist_exn : Packed.t Core_kernel__.Import.list -> t
module Make : functor (Data : sig ... end) -> S with type 'a data = 'a Data.t
module Make1 : functor (Data : sig ... end) -> S1 with type ('s, 'a) data = ('s, 'a) Data.t
module With_default : sig ... end

keys with associated default values, so that find is no longer partial

module With_fold : sig ... end

keys that map to an accumulator value with an associated fold operation

module Multi : sig ... end

list-accumulating keys with a default value of the empty list