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