Module `Univ_map.With_default`

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

module Key : sig ... end

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

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

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