functor (G_Src : V_SRC) ->
  functor (G_Dst : V_DST) ->
    sig
      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
    end