module P: functor (G : Sig.P) -> S with module G = G
functor (
G
:
Sig.P
) ->
S
with module G = G
module G: Sig.G
Sig.G
val empty : unit -> G.t
unit -> G.t
val copy : G.t -> G.t
G.t -> G.t
val add_vertex : G.t -> G.V.t -> G.t
G.t -> G.V.t -> G.t
val add_edge : G.t -> G.V.t -> G.V.t -> G.t
G.t -> G.V.t -> G.V.t -> G.t
val add_edge_e : G.t -> G.E.t -> G.t
G.t -> G.E.t -> G.t