@@ -50,7 +50,7 @@ symDifference x y = union (difference x y) (difference y x)
50||| Set intersection. Implemented as the difference of the union and the symetric difference.
50||| Set intersection. Implemented as the difference of the union and the symetric difference.
52intersection : (x, y : SortedSet k) -> SortedSet k
52intersection : (x, y : SortedSet k) -> SortedSet k
53−intersection x y = difference (union x y) (symDifference x y)
53+intersection x y = difference x (difference x y)
55Ord k => Semigroup (SortedSet k) where
55Ord k => Semigroup (SortedSet k) where
56 (<+>) = union
56 (<+>) = union