merge vs meld

[make-github-pseudonymous-again]

If a merge operation destroys the heaps it is applied to, then it should be called meld instead of merge. See for example the Binomial Heap implementation.

• https://en.wikipedia.org/wiki/Heap_(data_structure)