LazyPairingHeap

Definitions

data PairingHeap : Type -> Type

Totality: total
Visibility: export
Constructors:

E : PairingHeap a

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

Hint: 

Heap PairingHeap