Module Univ_map

module Univ_map: Univ_map

type t 

val empty : t

val is_empty : t -> bool

module Key: sig .. end

val set : t -> 'a Key.t -> 'a -> t

val mem : t -> 'a Key.t -> bool

val find : t -> 'a Key.t -> 'a option

val find_exn : t -> 'a Key.t -> 'a

val add : t -> 'a Key.t -> 'a -> [ `Duplicate | `Ok of t ]

val add_exn : t -> 'a Key.t -> 'a -> t

val change : t -> 'a Key.t -> ('a option -> 'a option) -> t

val change_exn : t -> 'a Key.t -> ('a -> 'a) -> t

module With_default: sig .. end

module With_fold: sig .. end

module Multi: sig .. end

val sexp_of_t : t -> Sexplib.Sexp.t