diet

Discrete Interval Encoding Trees
README

Please read the API documentation.

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

Install
Published
18 Jul 2019
Maintainers
Sources
diet-v0.4.tbz
sha256=96acac2e4fdedb5f47dd8ad2562e723d85ab59cd1bd85554df21ec907b071741
sha512=88ab26a898ace0fa97bb521b8715ad9e122782c9be212e2162d2d3695208dbb3d296409446dfa4c1b84e6cdf8fd9a1922989046db3c7ad01db57940ced4b0c17
Dependencies
Reverse Dependencies
mirage-block-unix
>= "2.10.0" & < "2.11.1" | >= "2.12.0"
timere
>= "0.2.1"