BinomialHeap

Definitions

data BinomialHeap : Type -> Type

Totality: total
Visibility: export
Constructor: 

BH : List (Tree a) -> BinomialHeap a

Hint: 

Heap BinomialHeap