ptmapversion

Maps of integers implemented as Patricia trees

An implementation inspired by Okasaki & Gill's paper 'Fast Mergeable Integer Maps'

AuthorJean-Christophe FilliĆ¢tre
LicenseLGPL-2.1-only
Published
Homepagehttps://github.com/backtracking/ptmap
Issue Trackerhttps://github.com/backtracking/ptmap/issues
MaintainerJean-Christophe.Filliatre@lri.fr
Dependencies
Source [http] https://github.com/backtracking/ptmap/releases/download/2.0.5/ptmap-2.0.5.tbz
sha256=ebd1f8afe8679a226fdcbcdb323788e6f63db57521b151473f2ff8c05c30f3aa
sha512=4a3f20d189d905cb588de3148361495adc40d5892473bf9cd7e49bc98558de29feb51efefb5aab77cad892dd288ad8fa0348832c78cc21e66539768a5a9cab5b
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/ptmap/ptmap.2.0.5/opam
Required by