
ord_insert(+Set1, +Element, -Set2)

   Adds an element to a set

Arguments
   Set1                A set
   Element             A term
   Set2                A set or variable

Type
   library(ordset)

Description
	Set2 is the set resulting from adding Element to Set1. It should
	give exactly the same result as merge(Set1, [Element], Set2).
	This is a synonym of ord_add_element/3.
    

Modes and Determinism
   ord_insert(+, +, -) is det

See Also
   ord_add_element / 3
