Definition at line 11 of file ContractClassForAttribute.cs.
References System.Diagnostics.Contracts.ContractClassForAttribute._typeIAmAContractFor.