[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# ord_seteq(+Set1, +Set2)

Compares two sets for identity

Set1
  A set
Set2
  A set

## Description

Succeeds when the two arguments represent the same set. Since they are assumed to be ordered representations, they must be identical.

### Modes and Determinism

- ord_seteq(+, +) is semidet

## See Also

== / 2, ord_compare / 3