Purely functional implementation of a balanced search tree implemented with a 2-3 tree variant, the AA-Tree.
References :
- Balanced Search Trees Made Simple, Arne Andersson, 1993
- Simple Balanced Binary Search Trees, Prabhakar Ragde, 2014
Package also provides adaptations to use AA-Trees as finite mappings or sets.
TODO : Need to add documentation!!