模块类型 Strongly_connected_components.S

module type S = sig .. end

module Id: Identifiable.S

type directed_graph = Id.Set.t Id.Map.t

如果 (a -> 集合) 属于该映射，则表示从 a 到 集合 中的每个元素都有边。假设没有边指向映射中没有表示的顶点。

type component =

`\|`	`Has_loop of Id.t list`
`\|`	`No_loop of Id.t`

val connected_components_sorted_from_roots_to_leaf : directed_graph ->
       component array

val component_graph : directed_graph ->
       (component * int list) array