-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathREADME.txt
25 lines (17 loc) · 943 Bytes
/
README.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
(* OASIS_START *)
(* DO NOT EDIT (digest: 0172573a9fe88116311359991eb3a846) *)
This is the README file for the ocaml-rbtrees distribution.
(c) 2007-2011 Benedikt Meurer
An implementation of Red-Black Trees for OCaml
This is my implementation of Red-Black Trees for OCaml. It is based upon the
implementation described in the paper "Red-Black Trees in a Functional
Setting" by Chris Okasaki published in "Journal of Functional Programming",
9(4):471-477, July 1999.
The Red-Black Trees are exposed via a map and a set API, which is designed to
be compatible with the Map and Set modules in the OCaml standard library
(which are implemented using AVL trees). You can use the Rbmap and Rbset
modules as drop-in replacement for the Map and Set modules.
See the files INSTALL.txt for building and installation instructions. See the
file LICENSE for copying conditions.
Home page: https://github.com/bmeurer/ocaml-rbtrees/
(* OASIS_STOP *)