Definition at line 12 of file ContractClassAttribute.cs.
References System.Diagnostics.Contracts.ContractClassAttribute._typeWithContracts.