System.Diagnostics.Contracts.ContractVerificationAttribute
namespace System.Diagnostics.Contracts
{
public sealed class ContractVerificationAttribute : Attribute
{
public bool Value { get; }
public ContractVerificationAttribute(bool value);
}
}