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