1 reference to Ensures
Microsoft.Net.Http.Headers (1)
RangeItemHeaderValue.cs (1)
109
Contract.
Ensures
((Contract.Result<int>() == 0) || (rangeCollection.Count > 0),