sig
  module V :
    sig
      type t
      val hash : Gml.G.V.t -> int
      val equal : Gml.G.V.t -> Gml.G.V.t -> bool
      type label
      val label : Gml.G.V.t -> Gml.G.V.label
    end
  module E :
    sig
      type t
      type label
      val src : Gml.G.E.t -> Gml.G.V.t
      val dst : Gml.G.E.t -> Gml.G.V.t
      val label : Gml.G.E.t -> Gml.G.E.label
    end
  type t
  val iter_vertex : (Gml.G.V.t -> unit) -> Gml.G.t -> unit
  val iter_edges_e : (Gml.G.E.t -> unit) -> Gml.G.t -> unit
end