Description
This data structure is based on the Functional Pearls: Diets for Fat Sets by Martin Erwig.
Published: 18 Jul 2019
Dependencies (4)
-
ounit
with-test
- stdlib-shims
- dune
-
ocaml
>= "4.03.0"
Reverse Dependencies (2)
-
mirage-block-unix
>= "2.10.0" & < "2.11.1" | >= "2.12.0"
-
timere
>= "0.2.1"
Conflicts
-
None
Discrete Interval Encoding Trees
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
Authors
Maintainers
Sources
diet-v0.4.tbz
sha256=96acac2e4fdedb5f47dd8ad2562e723d85ab59cd1bd85554df21ec907b071741
sha512=88ab26a898ace0fa97bb521b8715ad9e122782c9be212e2162d2d3695208dbb3d296409446dfa4c1b84e6cdf8fd9a1922989046db3c7ad01db57940ced4b0c17