ord_union/5¶

ord_union(+ Set1, + Set2, ? Union, ? Diff)*

Holds when Union is the union of Set1 and Set2 and Diff is the difference.