[ 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). This is a synonym of ord_add_element/3.

### Modes and Determinism

- ord_insert(+, +, -) is det

## See Also

ord_add_element / 3