From 6c16656da0c7e358b74bfb4022749d1da70f3ca5 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 11 Sep 2015 22:06:09 +0200
Subject: [PATCH] doc

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

diff --git a/src/data/CCWBTree.ml b/src/data/CCWBTree.ml
index 926cb1a1..1fa45d47 100644
--- a/src/data/CCWBTree.ml
+++ b/src/data/CCWBTree.ml
@@ -1,6 +1,12 @@
 (* This file is free software, part of containers. See file "license" for more details. *)
 
-(** {1 Weight-Balanced Tree} *)
+(** {1 Weight-Balanced Tree}
+
+ Most of this comes from "implementing sets efficiently in a functional language",
+ Stephen Adams.
+
+ The coefficients 5/2, 3/2 for balancing come from "balancing weight-balanced trees"
+*)
 
 type 'a sequence = ('a -> unit) -> unit
 type 'a gen = unit -> 'a option