Typo in Data.Set.split documentation
|Reported by:||jeffwheeler||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
The documentation for Data.Set.split contains an awkward double-negative: ". . . is not found in neither set1 or set2." It should be ". . . is found in neither set1 nor set2."
-- | /O(log n)/. The expression (@'split' x set@) is a pair @(set1,set2)@ -- where all elements in @set1@ are lower than @x@ and all elements in -- @set2@ larger than @x@. @x@ is not found in neither @set1@ nor @set2@.