package ptmap

You can search for identifiers within the package.

in-package search v0.2.0

Maps of integers implemented as Patricia trees

Install

Dune Dependency

github.com Readme Changelog LGPL-2.1-only License Edit opam file Versions (6)

Authors

J

Jean-Christophe Filliâtre

Maintainers

J

Jean-Christophe.Filliatre@lri.fr

Sources

ptmap-2.0.5.tbz

sha256=ebd1f8afe8679a226fdcbcdb323788e6f63db57521b151473f2ff8c05c30f3aa

sha512=4a3f20d189d905cb588de3148361495adc40d5892473bf9cd7e49bc98558de29feb51efefb5aab77cad892dd288ad8fa0348832c78cc21e66539768a5a9cab5b

README.md.html

README.md

Integer map implementation using Patricia trees

Follows "Fast Mergeable Integer Maps" by Chris Okasaki and Andrew Gill (Workshop on ML, 1998)

Note: In 2017, a bug was found in the paper above, which is described in "QuickChecking Patricia Trees" by Jan Midtgaard. This is fixed in the present OCaml code.