functional-red-black-tree2

A fully persistent balanced binary search tree. Typed version