Member predicate IRGuardCondition :: comparesLt
Holds if (determined by this guard) left < right + k
evaluates to isLessThan
if this expression evaluates to testIsTrue
.
Holds if (determined by this guard) left < right + k
evaluates to isLessThan
if this expression evaluates to testIsTrue
.