Module Reins.Heaps

module Heaps: sig .. end

Abstract signature for Heaps

module type Heap_ = sig .. end

module type MonoHeapSig = sig .. end

module type MonoHeapSigFn = functor (C : Reins.Types.Mono.Comparable) -> MonoHeapSig  with type elt = C.t

module type GenHeapSig = sig .. end

module type GenHeapSigFn = functor (C : Reins.Types.Mono.ArbitraryComparable) -> GenHeapSig  with type elt = C.t

module type PolyHeapSig = sig .. end