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

ord_seteq(+Set1, +Set2)

Compares two sets
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.