sig
  module type S =
    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
end