diet

Discrete Interval Encoding Trees
Description

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

Install
Published
18 Jul 2019
Authors
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"