Predicate Private :: summaryOutNode
Holds if summary node out contains output of kind rk from call c.
Import path
import semmle.python.dataflow.new.internal.FlowSummaryImpl
predicate
summaryOutNode
(
DataFlowCall
c
,
SummaryNode
out
,
ReturnKind
rk
)