val map : (G_Src.V.t -> G_Dst.vertex) -> G_Src.t -> G_Dst.t
val filter_map : (G_Src.V.t -> G_Dst.vertex option) -> G_Src.t -> G_Dst.t
Gmap.Vertex
val map : (G_Src.V.t -> G_Dst.vertex) -> G_Src.t -> G_Dst.t
val filter_map : (G_Src.V.t -> G_Dst.vertex option) -> G_Src.t -> G_Dst.t