sig module G : Sig.G val empty : unit -> G.t val copy : G.t -> G.t val add_vertex : G.t -> G.V.t -> G.t val add_edge : G.t -> G.V.t -> G.V.t -> G.t val add_edge_e : G.t -> G.E.t -> G.t end