Previous
Up
Next
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.