leftistLeaf

fun <Value : Comparable<Value>> leftistLeaf(): LeftistHeap<Value>

Answer the sole empty heap, cast to the desired element type. This cast is fine, since by definition there are no elements in an empty heap.