From c6e3471ae5b54362df7c0300548f2ea6670eae17 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 7 Sep 2015 22:41:57 +0200
Subject: [PATCH] doc

---
 src/data/CCWBTree.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/data/CCWBTree.ml b/src/data/CCWBTree.ml
index 9d76fd31..0292126f 100644
--- a/src/data/CCWBTree.ml
+++ b/src/data/CCWBTree.ml
@@ -133,7 +133,10 @@ module MakeFull(K : KEY) : S with type key = K.t = struct
     | E -> 0
     | N (_, _, _, _, w) -> w
 
-  (* balancing parameters *)
+  (* balancing parameters.
+
+     We take the parameters from "Balancing weight-balanced trees", as they
+     are rational and efficient. *)
 
   (* delta=5/2
      delta × (weight l + 1) ≥ weight r + 1