module Gmap:sig
..end
Graph mapping. Map a graph to another one.
module type V_SRC =sig
..end
Signature for the source graph.
module type V_DST =sig
..end
Signature for the destination graph.
module Vertex:
Provide a mapping function from a mapping of vertices.
module type E_SRC =sig
..end
Signature for the source graph.
module type E_DST =sig
..end
Signature for the destination graph.
module Edge:
Provide a mapping function from a mapping of edges.