Module Gmap

module Gmap: sig .. end
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.
module Vertex: 
functor (G_Src : V_SRC) ->
functor (G_Dst : V_DST) -> sig .. end
Provide a mapping function from a mapping of vertices.

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.
module Edge: 
functor (G_Src : E_SRC) ->
functor (G_Dst : E_DST) -> sig .. end
Provide a mapping function from a mapping of edges.