Definition at line 886 of file SR.cs.
Referenced by System.Diagnostics.Contracts.Contract.Exists(), and System.Diagnostics.Contracts.Contract.ForAll().