ptmap

AuthorJean-Christophe Filliâtre
LicenseLGPL-2.1
Homepagehttps://www.lri.fr/~filliatr/software.en.html
Issue Trackerhttps://github.com/backtracking/ptmap/issues
MaintainerJean-Christophe.Filliatre@lri.fr
Dependencies
&obuild
ocamlfind
qtest>= 2.2
Availableocaml-version >= "4.07.0"
PublishedJul 31, 2018
Source [http] https://github.com/backtracking/ptmap/archive/v2.0.4.tar.gz
0402cdfebb221e39237c616bfdb99afc
StatisticsInstalled 26 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/ptmap/ptmap.2.0.4/opam

Maps over integers implemented as Patricia trees

Necessary for
uuuu