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