sig
  type key
  type 'a t
  val empty : 'a GMap.S.t
  val lookup : GMap.S.key -> 'a GMap.S.t -> 'a
  val find : GMap.S.key -> 'a GMap.S.t -> 'a
  val add : GMap.S.key -> 'a -> 'a GMap.S.t -> 'a GMap.S.t
  exception Unchanged
  val strict_add : GMap.S.key -> 'a -> 'a GMap.S.t -> 'a GMap.S.t
  type 'a decision = 'a -> 'a -> 'a
  val fine_add :
    'a GMap.S.decision -> GMap.S.key -> 'a -> 'a GMap.S.t -> 'a GMap.S.t
  val mem : GMap.S.key -> 'a GMap.S.t -> bool
  val singleton : GMap.S.key -> 'a -> 'a GMap.S.t
  val is_empty : 'a GMap.S.t -> bool
  val is_singleton : 'a GMap.S.t -> (GMap.S.key * 'a) option
  val cardinal : 'a GMap.S.t -> int
  val choose : 'a GMap.S.t -> GMap.S.key * 'a
  val lookup_and_remove : GMap.S.key -> 'a GMap.S.t -> 'a * 'a GMap.S.t
  val find_and_remove : GMap.S.key -> 'a GMap.S.t -> 'a * 'a GMap.S.t
  val remove : GMap.S.key -> 'a GMap.S.t -> 'a GMap.S.t
  val union : 'a GMap.S.t -> 'a GMap.S.t -> 'a GMap.S.t
  val fine_union :
    'a GMap.S.decision -> 'a GMap.S.t -> 'a GMap.S.t -> 'a GMap.S.t
  val iter : (GMap.S.key -> 'a -> unit) -> 'a GMap.S.t -> unit
  val fold : (GMap.S.key -> 'a -> 'b -> 'b) -> 'a GMap.S.t -> 'b -> 'b
  val fold_rev : (GMap.S.key -> 'a -> 'b -> 'b) -> 'a GMap.S.t -> 'b -> 'b
  val iter2 :
    (GMap.S.key -> 'a -> 'b -> unit) -> 'a GMap.S.t -> 'b GMap.S.t -> unit
  val map : ('a -> 'b) -> 'a GMap.S.t -> 'b GMap.S.t
  val endo_map : ('a -> 'a) -> 'a GMap.S.t -> 'a GMap.S.t
  val compare : ('a -> 'a -> int) -> 'a GMap.S.t -> 'a GMap.S.t -> int
  module Domain :
    sig
      type element = key
      type t
      val empty : t
      val is_empty : t -> bool
      val singleton : element -> t
      val cardinal : t -> int
      val choose : t -> element
      val mem : element -> t -> bool
      val add : element -> t -> t
      val remove : element -> t -> t
      val union : t -> t -> t
      val diff : t -> t -> t
      val inter : t -> t -> t
      val disjoint : t -> t -> bool
      val iter : (element -> unit) -> t -> unit
      val fold : (element -> 'b -> 'b) -> t -> 'b -> 'b
      val elements : t -> element list
      val compare : t -> t -> int
      val equal : t -> t -> bool
      val subset : t -> t -> bool
    end
  val domain : 'a GMap.S.t -> GMap.S.Domain.t
  val lift : (GMap.S.key -> 'a) -> GMap.S.Domain.t -> 'a GMap.S.t
  val corestrict : 'a GMap.S.t -> GMap.S.Domain.t -> 'a GMap.S.t
end