• Microsoft.Cci.MutableContracts
  • ContractElement
  • ContractProvider
  • LoopContract
  • LoopInvariant
  • MethodContract
  • Postcondition
  • Precondition
  • ThrownException
  • TypeContract
  • TypeInvariant

Microsoft.Cci.MutableContracts Namespace

// .NET Standard 1.6 + Platform Extensions
// Microsoft.Cci, Version=4.0.0.0, PublicKeyToken=b03f5f7f11d50a3a

namespace Microsoft.Cci.MutableContracts

Usage

Metadata

ID

N:Microsoft.Cci.MutableContracts

Declarations

Platform	Version	Assembly
.NET Standard + Platform Extensions	1.6	Microsoft.Cci, Version=4.0.0.0, PublicKeyToken=b03f5f7f11d50a3a