Predicate SsaSource::pattern_capture_definition
Holds if v
is defined by a capture pattern.
Import path
import python
predicate pattern_capture_definition(Variable v, ControlFlowNode defn)
Holds if v
is defined by a capture pattern.
import python
predicate pattern_capture_definition(Variable v, ControlFlowNode defn)