ord_insert/4

ord_insert(+ Set1, + Element, ? Set2)*

Inserting Element in Set1 returns Set2. It should give exactly the same result as merge(Set1, [Element], Set2), but a bit faster, and certainly more clearly. The same as ord_add_element//33.