10 lines
169 B
Text
10 lines
169 B
Text
|
declare
|
||
|
|
fun {SymDiff A B}
|
||
|
|
{FS.union {FS.diff A B} {FS.diff B A}}
|
||
|
|
end
|
||
|
|
|
||
|
|
A = {FS.value.make [1 2 3 4]}
|
||
|
|
B = {FS.value.make [5 3 1 2]}
|
||
|
|
in
|
||
|
|
{Show {SymDiff A B}}
|