Parameter IndexedSCC.G

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