Member predicate InClause::hasIfCondition
Holds if the pattern guard in this case-in expression is an if
condition. For example:
case foo
in [ x ] if x > 10 then ...
end
predicate hasIfCondition()
Holds if the pattern guard in this case-in expression is an if
condition. For example:
case foo
in [ x ] if x > 10 then ...
end
predicate hasIfCondition()