System.Diagnostics.Contracts.ContractClassAttribute
namespace System.
Diagnostics.
Contracts
{
public sealed class ContractClassAttribute :
Attribute
{
public Type TypeContainingContracts { get; }
public ContractClassAttribute(
Type typeContainingContracts);
}
}