Functor Finite_map.Dmap_map

module Dmap_map: 
functor (Key : Set.OrderedType) -> sig .. end

type k = Key.t 

type 'a t = 'a M.t * S.t * 'a option 

val empty : 'a M.t * S.t * 'b option

val set_default : 'a * 'b * 'c -> 'd -> 'a * 'b * 'd

val apply : 'a M.t * S.t * 'a option ->
       M.key -> 'a option

val apply_opt : 'a M.t * S.t * 'a option ->
       M.key option -> 'a option

val in_dom : M.key ->
       'a M.t * S.t * 'b option -> bool

val insert : 'a M.t * S.t * 'b ->
       M.key * 'a ->
       'a M.t * S.t * 'b

val insert_opt : 'a M.t * S.t * 'a option ->
       M.key option * 'a ->
       'a M.t * S.t * 'a option

val remove : 'a M.t * S.t * 'b ->
       M.key ->
       'a M.t * S.t * 'b