SkewBinomialHeap

Definitions

data SkewBinomialHeap : Type -> Type

Totality: total
Visibility: export
Constructor: 

SBH : List (Tree a) -> SkewBinomialHeap a

Hint: 

Heap SkewBinomialHeap