
ord_union(+Sets, -Union)

   Computes the union of all sets in Sets

Arguments
   Sets                A list of sets
   Union               A set or variable

Type
   library(ordset)

Description
	Succeeds when Union is the union of all sets in the list Sets.
    

Modes and Determinism
   ord_union(+, -) is det

See Also
   ord_union / 3, ord_intersection / 2
