Module Contraction

module Contraction: sig .. end
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