A Red-Black Tree Implementation with Provable Properties | Dark Hacker News