[ library(ordset) | Reference Manual | Alphabetic Index ]
ord_insert(+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_add_element/3.
Modes and Determinism
- ord_insert(+, +, -) is det
See Also
ord_add_element / 3