val map : (G_Src.V.t -> G_Dst.vertex) -> G_Src.t -> G_Dst.tval filter_map : (G_Src.V.t -> G_Dst.vertex option) -> G_Src.t -> G_Dst.tGmap.Vertexval map : (G_Src.V.t -> G_Dst.vertex) -> G_Src.t -> G_Dst.tval filter_map : (G_Src.V.t -> G_Dst.vertex option) -> G_Src.t -> G_Dst.t