From fcfd8f19b05687b8bd52daada631ee0349592611 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 16 Nov 2022 13:30:13 -0500
Subject: [PATCH] doc

---
 src/scc/containers_scc.mli | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/scc/containers_scc.mli b/src/scc/containers_scc.mli
index b0a91225..1217b7d2 100644
--- a/src/scc/containers_scc.mli
+++ b/src/scc/containers_scc.mli
@@ -24,3 +24,11 @@ val scc :
   nodes:'node list ->
   unit ->
   'node list list
+(** Compute the strongly connected components of the given [graph],
+      reachable from [nodes].
+
+    @param graph the graph state
+    @param children maps a node to its direct descendants (children)
+    @param nodes initial nodes.
+    @param tbl a hashtable implementation that takes nodes as keys
+*)