Module `Abstract.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