sig
  type t
  module V : Sig.COMPARABLE
  module E :
    sig
      type t
      type label
      val label : Prim.G.E.t -> Prim.G.E.label
      val dst : Prim.G.E.t -> V.t
      val src : Prim.G.E.t -> V.t
      val compare : Prim.G.E.t -> Prim.G.E.t -> int
    end
  val iter_vertex : (V.t -> unit) -> Prim.G.t -> unit
  val iter_edges_e : (Prim.G.E.t -> unit) -> Prim.G.t -> unit
  val iter_succ_e : (Prim.G.E.t -> unit) -> Prim.G.t -> V.t -> unit
end