Opam Package bheap.2.0.0

Package info

opam-namebheap
opam-version2.0.0
synopsisPriority queues
descriptionTraditional implementation using a binary heap encoded in a resizable array
authors
  • Jean-Christophe Filliâtre
homepagehttps://github.com/backtracking/bheap
licenseLGPL-2.1
changes-fileCHANGES.md
readme-fileREADME.md
deps (3)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

bheap

Package files

lib/bheap/opam
lib/bheap/dune-package
lib/bheap/binary_heap.mli
lib/bheap/binary_heap.ml
lib/bheap/binary_heap.cmxs
lib/bheap/binary_heap.cmxa
lib/bheap/binary_heap.cmx
lib/bheap/binary_heap.cmti
lib/bheap/binary_heap.cmt
lib/bheap/binary_heap.cmi
lib/bheap/binary_heap.cma
lib/bheap/binary_heap.a
lib/bheap/META
lib/bheap
doc/bheap/README.md
doc/bheap/LICENSE
doc/bheap/CHANGES.md
doc/bheap