
ord_seteq(+Set1, +Set2)

   Compares two sets for identity

Arguments
   Set1                A set
   Set2                A set

Type
   library(ordset)

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
