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