Contract.Annotations (nuget): Annotations to declare the contracts in your code that support enhanced static analysis. This includes all the JetBrains.Annotations understood by any published version of ReSharper.
Keywords: annotations|resharper|jetbrains|jetbrains.annotations|design|contract