module Edge: functor (G_Src : E_SRC) -> functor (G_Dst : E_DST) -> sig .. end
functor (
G_Src
:
E_SRC
) ->
G_Dst
E_DST
sig
end
val map : (G_Src.E.t -> G_Dst.edge) -> G_Src.t -> G_Dst.t
(G_Src.E.t -> G_Dst.edge) -> G_Src.t -> G_Dst.t
map f g
f
g