Predicate SsaSource :: pattern_alias_definition
Holds if v
is defined by as the alias of an as-pattern.
Import path
import python
predicate
pattern_alias_definition
(
Variable
v
,
ControlFlowNode
defn
)