PairingHeap

Definitions

data PairingHeap : Type -> Type

Totality: total
Visibility: export
Constructors:

E : PairingHeap a

T : a -> List (PairingHeap a) -> PairingHeap a

Hint: 

Heap PairingHeap