diet

Discrete Interval Encoding Trees
Description

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

Install
Published
10 Mar 2019
Authors
Maintainers
Sources
diet-v0.3.tbz
md5=198de585f888bedc2b85f555250ce6d5
Dependencies
ounit with-test
ppx_sexp_conv >= "v0.9.0"
ocaml >= "4.03.0" & < "5.0.0"
Reverse Dependencies
mirage-block-unix >= "2.10.0" & < "2.11.1"
timere >= "0.2.1" & < "0.6.0"