dietversion

Discrete Interval Encoding Trees

This data structure is based on the Functional Pearls: Diets for Fat Sets by Martin Erwig.

AuthorDavid Scott
LicenseISC
Published
Homepagehttps://github.com/mirage/ocaml-diet
Issue Trackerhttps://github.com/mirage/ocaml-diet/issues
Maintainerdave@recoil.org
Dependencies
Source [http] https://github.com/mirage/ocaml-diet/releases/download/v0.3/diet-v0.3.tbz
md5=198de585f888bedc2b85f555250ce6d5
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/diet/diet.0.3/opam
Required by