Module Univ_map.With_default

module With_default: sig .. end

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

module Key: sig .. end

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

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

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