Module `Gmap.Vertex`

Parameters

module G_Src : V_SRC

module G_Dst : V_DST

Signature

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