From: brian Date: Tue, 15 Jun 2004 08:59:51 +0000 (+0000) Subject: BalancedTree: size[] sanity checking X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=ebcbdcc4bc06b108d41096f73cb6c4b9559199ed;hp=ebcbdcc4bc06b108d41096f73cb6c4b9559199ed;p=org.ibex.core.git BalancedTree: size[] sanity checking darcs-hash:20040615085951-24bed-6559df8e79d524283c546bc6dc1ca1f2b67708ac.gz ---