Functor Gmap.Edge

module Edge: 
functor (G_Src : E_SRC) ->
functor (G_Dst : E_DST) -> sig .. end
Provide a mapping function from a mapping of edges.
Parameters:
G_Src : E_SRC
G_Dst : E_DST

val map : (G_Src.E.t -> G_Dst.edge) -> G_Src.t -> G_Dst.t
map f g applies f to each edge of g and so builds a new graph based on g
val filter_map : (G_Src.E.t -> G_Dst.edge option) -> G_Src.t -> G_Dst.t
filter_map f g applies f to each edge of g and so builds a new graph based on g; if None is returned by f the edge is omitted in the new graph.