Member predicate Make::GuardValue::isIntRange
Holds if this value represents an integer range.
If upper = true the range is (-infinity, bound].
If upper = false the range is [bound, infinity).
predicate isIntRange(int bound, boolean upper)Holds if this value represents an integer range.
If upper = true the range is (-infinity, bound].
If upper = false the range is [bound, infinity).
predicate isIntRange(int bound, boolean upper)