OCaml implementation of some of C.Okasaki's purely functional data structures.