with

abstract fun with(newValue: Value): LeftistHeap<Value>

A heap with one more element.