namespace Microsoft.FSharp.Collections
{
    [CompilationMapping(SourceConstructFlags.Module)]
    [CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)]
    [RequireQualifiedAccess]
    public static class SetModule
    {
        [CompilationArgumentCounts(new[] { 1, 1 })]
        [CompilationSourceName("isProperSuperset")]
        public static bool IsProperSuperset<T>(FSharpSet<T> set1, FSharpSet<T> set2);
    }
}