A hash-heap is a combination of a heap and a hashtbl that supports constant time lookup, and log(n) time removal and replacement of elements in addition to the normal heap operations.
module Hashtbl = Core_kernel__.Core_hashtbl
module Heap = Core_kernel.Heap.Removable
module type Key = Hashtbl.Key
module type S : sig ... end