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
-
07 Jun 2018
- Authors
-
- Maintainers
-
Sources
Dependencies
ounit
with-test
ppx_type_conv
build
ppx_sexp_conv
build & >= "v0.9.0"
ppx_tools
build
jbuilder
>= "1.0+beta10"
ocaml
>= "4.03.0"
Reverse Dependencies
mirage-block-unix
>= "2.10.0" & < "2.11.1"
timere
>= "0.2.1" & < "0.6.0"