Strongly_connected_components.Make - no description

       Module Make
        : (Id:Identifiable.S)->sigendParameters:

       "Id"

       Identifiable.SmoduleId:Identifiable.Stypedirected_graph = Id.Set.tId.Map.t

       If  (a  -> set) belongs to the map, it means that there are edges from a to every element of set .  It is
       assumed that no edge points to a vertex not represented in the map.

       typecomponent =
        | Has_loop ofId.tlist
        | No_loop ofId.tvalconnected_components_sorted_from_roots_to_leaf : directed_graph->componentarrayvalcomponent_graph : directed_graph->(component*intlist)array

OCamldoc                                           2025-06-12             Strongly_connected_components.Make(3o)

       Module   Strongly_connected_components.Make

       Strongly_connected_components.Make - no description