---
name: "Strongly_connected_components.Make"
section: "3o"
platform: "linux"
package: "ocaml"
version: "5.5.0-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/Strongly_connected_components.Make"
---

# Strongly\_connected\_components.Make(3o)

no description

## NAME

Strongly\_connected\_components.Make - no description

## Module

Module   Strongly\_connected\_components.Make

## Documentation

Module **Make**\
  :  **(Id : Identifiable.S) -\> sig end**

**Parameters:**

"Id"

**Identifiable.S**

*module Id :* **Identifiable.S**

*type directed\_graph* =  **Id.Set.t Id.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.

*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**