Functor Copy.Copy.P


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
Persistent implementation
Parameters:
Gf : Sig.G
Gt : Sig.P
M : sig (** [vertex g' v] returns the modified new graph and its corresponding vertex in this graph. *) val vertex : Gt.t -> Gf.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 *) val edge : Gt.t -> Gt.V.t -> Gt.V.t -> Gt.t end

val copy : Gf.t -> Gt.t
copy g Copy the graph g using M.vertex and M.edge