sig
  type key
  type 'a t
  val create : unit -> 'a Stog_graph.GMap.t
  val get : 'a Stog_graph.GMap.t -> Stog_graph.GMap.key -> 'a
  val set :
    'a Stog_graph.GMap.t -> Stog_graph.GMap.key -> 'a -> 'a Stog_graph.GMap.t
  val remove :
    'a Stog_graph.GMap.t -> Stog_graph.GMap.key -> 'a Stog_graph.GMap.t
  val fold :
    (Stog_graph.GMap.key -> 'a -> 'b -> 'b) ->
    'a Stog_graph.GMap.t -> 'b -> 'b
  val iter :
    (Stog_graph.GMap.key -> 'a -> unit) -> 'a Stog_graph.GMap.t -> unit
end