dietversion
Discrete Interval Encoding Trees
This data structure is based on the Functional Pearls: Diets for Fat Sets by Martin Erwig.
Author | David Scott |
---|---|
License | ISC |
Published | |
Homepage | https://github.com/mirage/ocaml-diet |
Issue Tracker | https://github.com/mirage/ocaml-diet/issues |
Maintainer | dave@recoil.org |
Dependencies |
|
Source [http] | https://github.com/mirage/ocaml-diet/releases/download/v0.3/diet-v0.3.tbz sha256=c83dec2aef1f2846bc272de1d6535062e158b7655996ebd4d137f874b895d44b md5=198de585f888bedc2b85f555250ce6d5 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/diet/diet.0.3/opam |
Required by
- mirage-block-unixwith-test & >=2.10.0 & <2.11.1
- timerewith-test & >=0.2.1 & <0.6.0