let
compare s1 s2 = compare_aux [
`
Set
s1] [
`
Set
s2]