module Copy:sig
..end
module P:functor (
Gf
:
Sig.G
) ->
functor (
Gt
:
Sig.P
) ->
functor (
M
:
sig
val vertex :Gt.t -> Gf.V.t -> Gt.V.t * Gt.t
vertex g' v
returns the modified new graph and its corresponding vertex in this graph.
val edge :Gt.t -> Gt.V.t -> Gt.V.t -> Gt.t
edge g' v1' v2'
returns the modified new graph given the images of two vertices that had an edge in the original graph
end
) ->
sig
..end
module I:functor (
Gf
:
Sig.G
) ->
functor (
Gt
:
Sig.I
) ->
functor (
M
:
sig
val vertex :Gt.t -> Gf.V.t -> Gt.V.t
vertex g' v
modifies the new graph and return the vertex corresponding tov
in this graph.
val edge :Gt.t -> Gt.V.t -> Gt.V.t -> unit
edge g' v1' v2'
modifies the new graph given the images of two vertices that had an edge in the original graph
end
) ->
sig
..end