sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
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.
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.