Existential Quantifier (at least one)
The result is true iff the boolean expression is true for at least one variable binding of the declarations.
-
Syntax:
-
exists
<var> : <set expression> [, <var> : <set expression> ...]
@
<boolean expression>
-
Example:
-
exists v: V{structure.Package} @ v.name = ""