Functor Copy.Copy.P

module P: functor (Gf : Sig.G) -> functor (Gt : Sig.P) -> functor (M : sigval 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