LeftistHeap

Definitions

data LeftistHeap : Type -> Type

Totality: total
Visibility: export
Constructors:

E : LeftistHeap a

T : Int -> a -> LeftistHeap a -> LeftistHeap a -> LeftistHeap a

Hint: 

Heap LeftistHeap