Module Heap (.ml)

module Heap: sig .. end

heap structures

exception OVERFLOW

thrown if a heap exceeds its maximum size.

module type OrderedType = sig .. end

Input signature of the heap functors.

module Heap: functor (Ord : OrderedType) -> sig .. end

The classic imperative array based heap data structure.

module MinMaxHeap: functor (Ord : OrderedType) -> sig .. end

An imperative array based min-max heap data structure.