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 : t -> 'a Key.t -> 'a -> t
val find : t -> 'a Key.t -> 'a
val change : t -> 'a Key.t -> ('a -> 'a) -> t