Up – Package index » lrgrep » Library lrijkstra_utils » Tarjan » IndexedSCC » G

Parameter `IndexedSCC.G`

type n

val n : n Fix.Indexing.cardinal

val successors : (n Fix.Indexing.index -> unit) -> n Fix.Indexing.index -> unit