module Contraction: sig .. end
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
functor (
G
:
) ->