Patricia trees
Efficient sets and maps over integers, from a paper by Chris Okasaki.
[ Homepage ]
| Author: | Jean-Christophe Filliātre. |
| Last modification date: | 09-Aug-2001 |
| Development status: | Stable |
| Kind: | Libraries :: Native OCaml libraries |
| License: | Open Source :: LGPL |
| Topic: | General purpose libraries :: Data structures |
| Homepage: | http://www.lri.fr/~filliatr/software.en.html |