bheap

Priority queues
README

OCaml binary heap implementation by Jean-Christophe Filliatre

Install
Published
06 Sep 2020
Sources
bheap-2.0.0.tbz
sha256=5f43d7b237bc87b07097f60eae2b32de64e644158308da338bf1512014bdf636
sha512=90dcf2b3856b25f8ec7204d3596b64dfc264e9158ea84e8c2f15e3980c45ef888b7a969e613f31a626aebc4c5963a09b4fd3c3b95beba7d3159ff42080193841
Dependencies
dune
>= "2.0.0"
stdlib-shims
with-test
Reverse Dependencies
irmin
>= "2.3.0"
mirage-solo5
>= "0.6.3"
mirage-xen
>= "6.0.0"