This is an OCaml implementation of the paper Deletion: The curse of the red-black tree
git clone git@github.com:andrewbaine/rbtree.git cd rbtree opam install . --deps-only --with-test