Graph.Gmap
module type V_SRC = sig ... end
module type V_DST = sig ... end
module Vertex (G_Src : V_SRC) (G_Dst : V_DST) : sig ... end
module type E_SRC = sig ... end
module type E_DST = sig ... end
module Edge (G_Src : E_SRC) (G_Dst : E_DST) : sig ... end