Module type Strongly_connected_components.S

type directed_graph = Id.Set.t Id.Map.t
type component =
  1. | Has_loop of Id.t list
  2. | 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