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