Module Std_kernel.Heap

module Heap: Heap

include Heap_intf.S

module Removable: sig .. end

Removable augments a heap with the ability to remove elements from the heap in lg(n) (amortized) time at any point after they have been added.