From ce449695c310ddf495734ca370b42071890ddbfa Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Fri, 11 Oct 2013 09:10:51 +0000
Subject: Dag: some comments on the concept of cluster

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16876 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/dag.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib')

diff --git a/lib/dag.mli b/lib/dag.mli
index a72cc187c4..702ccd80f8 100644
--- a/lib/dag.mli
+++ b/lib/dag.mli
@@ -8,6 +8,9 @@
 
 module type S = sig
 
+  (* A cluster is just a set of nodes.  This set holds some data.
+     Stm uses this to group nodes contribution to the same proofs and
+     that can be evaluated asynchronously *)
   module Cluster :
   sig
     type 'd t
-- 
cgit v1.2.3