</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info module top">
Kosaraju's algorithm for strongly connected components.<br>
</div>
<hr width="100%">

<pre><span class="keyword">module type</span> <a href="Strongly_connected_components.S.html">S</a> = <code class="code"><span class="keyword">sig</span></code> <a href="Strongly_connected_components.S.html">..</a> <code class="code"><span class="keyword">end</span></code></pre>
<pre><span class="keyword">module</span> <a href