module SkewBinomialHeap: sig .. end
sig
end
module MonoHeap: Reins.Heaps.MonoHeapSigFn
Reins.Heaps.MonoHeapSigFn
module GenHeap: Reins.Heaps.GenHeapSigFn
Reins.Heaps.GenHeapSigFn
module PolyHeap: Reins.Heaps.PolyHeapSig
Reins.Heaps.PolyHeapSig