module type INT =Swith type G.V.label = int
module G:Sig.G
val empty : unit -> G.tval copy : G.t -> G.tval add_vertex : G.t -> G.V.t -> G.tval add_edge : G.t -> G.V.t -> G.V.t -> G.tval add_edge_e : G.t -> G.E.t -> G.tval remove_vertex : G.t -> G.V.t -> G.tval remove_edge : G.t -> G.V.t -> G.V.t -> G.tval remove_edge_e : G.t -> G.E.t -> G.t