sig
  type k
  type 'a t
  val empty : 'a Finite_map.Dmap.t
  val set_default : 'a Finite_map.Dmap.t -> 'a option -> 'a Finite_map.Dmap.t
  val insert :
    'a Finite_map.Dmap.t -> Finite_map.Dmap.k * 'a -> 'a Finite_map.Dmap.t
  val insert_opt :
    'a Finite_map.Dmap.t ->
    Finite_map.Dmap.k option * 'a -> 'a Finite_map.Dmap.t
  val apply : 'a Finite_map.Dmap.t -> Finite_map.Dmap.k -> 'a option
  val apply_opt :
    'a Finite_map.Dmap.t -> Finite_map.Dmap.k option -> 'a option
  val remove :
    'a Finite_map.Dmap.t -> Finite_map.Dmap.k -> 'a Finite_map.Dmap.t
  val in_dom : Finite_map.Dmap.k -> 'a Finite_map.Dmap.t -> bool
end