Searched refs:canProveRHSGreaterThanEqualStart (Results 1 – 1 of 1) sorted by relevance
13009 auto canProveRHSGreaterThanEqualStart = [&]() { in howManyLessThans() local13032 if (canProveRHSGreaterThanEqualStart()) { in howManyLessThans()