Functor Gmap.Vertex


module Vertex: 
functor (G_Src : V_SRC) ->
functor (G_Dst : V_DST) -> sig .. end
Provide a mapping function from a mapping of vertices.
Parameters:
G_Src : V_SRC
G_Dst : V_DST

val map : (G_Src.V.t -> G_Dst.vertex) -> G_Src.t -> G_Dst.t
map f g applies f to each vertex of g and so builds a new graph based on g