Predicate Make::Private::summaryOutNode
Holds if summary node out contains output of kind rk from a call targeting receiver.
Import path
import codeql.dataflow.internal.FlowSummaryImplpredicate summaryOutNode(SummaryNode receiver, SummaryNode out, ReturnKind rk)