Module type Ocsimore_lib.​DefaultMap

module type DefaultMap = sig..end

Association maps with default values (which thus never raise Not_found


type key
type 'a t
val empty : (key -> 'a) -> 'a t
val find : key -> 'a t -> 'a
val add : 
  key ->
  'a -> 'a t -> 'a t