namespace System.Diagnostics.Contracts
{
    public static class Contract
    {
        [ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
        public static bool Exists(int fromInclusive, int toExclusive, Predicate<int> predicate);
    }
}