Predicate Private::summaryNodeRange
Holds if a synthesized summary node is needed for the state state in summarized
callable c.
Import path
import codeql.ruby.dataflow.internal.FlowSummaryImplpredicate summaryNodeRange(SummarizedCallable c, SummaryNodeState state)