 //===----------------------------------------------------------------------===//
 // RUN: %target-run-simple-swift
 
-/// A generalized set whose distinct elements may not be disjoint.
+/// A generalized set whose distinct elements are not necessarily
+/// disjoint.
 ///
 /// In a model of `SetAlgebraType`, some elements may subsume other
 /// elements, where

  final
  static func element(a: Element, subsumes b: Element) -> Bool {
    return ([a] as Self).isSupersetOf([b])
  }
}


  mutating func subtractInPlace(other: Self)

  static func element(a: Element, subsumes b: Element) -> Bool  
  static func element(a: Element, isDisjointWith b: Element) -> Bool
}

//===--- Tests ------------------------------------------------------------===//
