Module red_black_tree.api

This file implements the red-black trees described in the chapter 3.3 of Okasaki's "Purely functional data structures".

Also, it implements the removal of an element inside the tree as demonstrated in Germane and Might's functional pearl "Deletion: The curse of the red-black tree"

It is based on the implementation for the binary trees.

Index

Variables

Functions