AbstractLabeled.I
type t = Make_Abstract(G).I.t = {
edges : G.t;
mutable size : int;
}
type vertex = G.vertex
type edge = G.edge
module PV : sig ... end
module PE : sig ... end
val iter_edges : ( G.vertex -> G.vertex -> unit ) -> t -> unit
val fold_edges : ( G.vertex -> G.vertex -> 'a -> 'a ) -> t -> 'a -> 'a
val iter_edges_e : ( G.edge -> unit ) -> t -> unit
val fold_edges_e : ( G.edge -> 'a -> 'a ) -> t -> 'a -> 'a
val mem_vertex : G.vertex -> t -> bool
val create : ?size:int -> unit -> t
val clear : t -> unit