Predicate SsaSource::parameter_definition
Holds if v is a parameter variable and defn is the CFG node for that parameter.
Import path
import pythonpredicate parameter_definition(Variable v, ControlFlowNode defn)Holds if v is a parameter variable and defn is the CFG node for that parameter.
import pythonpredicate parameter_definition(Variable v, ControlFlowNode defn)