Red-black tree demo
Based on
code by John Franco
, modified by Russ Ross to use the rebalancing algorithm found in
Purely Functional Data Structures
.