Module Graph.Contraction

Edge contraction for directed, edge-labeled graphs

module type G = sig ... end

Minimal graph signature for edge contraction algorithm

module Make : functor (G : G) -> sig ... end