Definition at line 13 of file ContractOptionAttribute.cs.
Referenced by System.Diagnostics.Contracts.ContractOptionAttribute.ContractOptionAttribute().