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
05 Oct 2018
Maintainers
Sources
v0.2.tar.gz
md5=0dec8b13bbb1c0c3592178695dae024d
Dependencies
Reverse Dependencies
mirage-block-unix
>= "2.10.0" & < "2.11.1"
timere
>= "0.2.1" & < "0.6.0"