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.4/diet-v0.4.tbz
sha256=96acac2e4fdedb5f47dd8ad2562e723d85ab59cd1bd85554df21ec907b071741
sha512=88ab26a898ace0fa97bb521b8715ad9e122782c9be212e2162d2d3695208dbb3d296409446dfa4c1b84e6cdf8fd9a1922989046db3c7ad01db57940ced4b0c17
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/diet/diet.0.4/opam
Required by