úÎ y      Safe-Infered. E  !"#$%&'()*+,-./0123456789:;<=>?@ABCD    =    !"#$%&'()*+,-./0123456789:;<=>?@ABCDE      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFG setops-0.1.2 Data.SetOpsInsertinsert Singleton singletonEmptyempty Intersection intersectionUnionunionSubsetOf isSubsetOfProperSubsetOfisProperSubsetOfMembermember∈∉∋∌⊂⊄⊃⊅⊆⊈⊇⊉∪∩∅$fSingleton(,)IntMap$fSingletonIntIntSet$fSingleton(,)Map$fSingletonaSet$fSingletona[] $fEmptyIntMap $fEmptyIntSet $fEmptyMap $fEmptySet $fEmpty[]$fInsert(,)IntMap$fInsertIntIntSet$fInsert(,)Map $fInsertaSet $fInserta[]$fIntersectionIntMap$fIntersectionIntSet$fIntersectionMap$fIntersectionSet$fIntersection[] $fUnionIntMap $fUnionIntSet $fUnionMap $fUnionSet $fUnion[]$fSubsetOfIntMap$fSubsetOfIntSet $fSubsetOfMap $fSubsetOfSet$fProperSubsetOfIntMap$fProperSubsetOfIntSet$fProperSubsetOfMap$fProperSubsetOfSet$fMemberIntIntMap$fMemberIntIntSet $fMemberkMap $fMemberaSet $fMembera[]