[ library(ordset) | Reference Manual | Alphabetic Index ]
ord_add_element(+Set1, +Element, -Set2)
Adds an element to a set
- Set1
- A set
- Element
- A term
- Set2
- A set or variable
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_insert/3.
Modes and Determinism
- ord_add_element(+, +, -) is det
See Also
ord_insert / 3