Module Graph__Gmap
Graph mapping. Map a graph to another one.
Mapping of vertices
module type V_SRC = sig ... end
Signature for the source graph.
module type V_DST = sig ... end
Signature for the destination graph.
Mapping of edges
module type E_SRC = sig ... end
Signature for the source graph.
module type E_DST = sig ... end
Signature for the destination graph.