Module Components


module Components: sig .. end
Strongly connected components

module type G = sig .. end
Minimal graph signature for scc
module Make: 
functor (G : G) -> sig .. end