[ library(ordset) | The ECLiPSe Libraries | 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).