Predicate Make::Private::summaryCallbackRange
Holds if a call targeting receiver should be synthesized inside c.
Import path
import codeql.dataflow.internal.FlowSummaryImplpredicate summaryCallbackRange(SummarizedCallable c, SummaryNode receiver)