System.Diagnostics.Contracts.ContractPublicPropertyNameAttribute
namespace System.Diagnostics.Contracts
{
public sealed class ContractPublicPropertyNameAttribute : Attribute
{
public string Name { get; }
public ContractPublicPropertyNameAttribute(string name);
}
}