ptsetversion

Sets 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/ptset
Issue Trackerhttps://github.com/backtracking/ptset/issues
MaintainerJean-Christophe.Filliatre@lri.fr
Dependencies
Source [http] https://github.com/backtracking/ptset/releases/download/1.0.1/ptset-1.0.1.tbz
sha256=4490119ee0eb40f9b148b0343286ee2a336696d8daf1805b1d898a305f0528df
sha512=c8ddaa078319639ffb778d64feca6b2d590bd9b77b9e9d0b055aaf2d46400be3898939aa63a5b319267c034a43ba233f8f019f178f166ea2961480fb5bd00037
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/ptset/ptset.1.0.1/opam
No package is dependent