ptsetversion

Sets of integers implemented as Patricia trees

AuthorJean-Christophe FilliĆ¢tre
LicenseLGPL-2.1-only
Published
Homepagehttps://www.lri.fr/~filliatr/software.en.html
Issue Trackerhttps://github.com/UnixJunkie/ptset/issues
MaintainerJean-Christophe.Filliatre@lri.fr
Dependencies
Source [http] https://github.com/UnixJunkie/ptset/archive/v1.0.0.tar.gz
md5=1cd9591bb28397c56bd91b8c7e61aad9
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/ptset/ptset.1.0.0/opam
No package is dependent