SplayHeap

Definitions

data SplayHeap : Type -> Type

Totality: total
Visibility: export
Constructors:

E : SplayHeap a

T : SplayHeap a -> a -> SplayHeap a -> SplayHeap a

Hint: 

Heap SplayHeap