namespace Microsoft.FSharp.Collections
{
    [CompilationMapping(SourceConstructFlags.ObjectType)]
    [CompiledName("FSharpSet`1")]
    [DebuggerDisplay("Count = {Count}")]
    [DebuggerTypeProxy(typeof(SetDebugView<?>))]
    [Sealed]
    public sealed class FSharpSet<T> : ICollection<T>, IEnumerable, IEnumerable<T>, IReadOnlyCollection<T>, IStructuralEquatable, IComparable
    {
        public bool IsProperSupersetOf(FSharpSet<T> otherSet);
    }
}