Predicate Make::Private::External::interpretSpec
Holds if spec specifies summary component stack stack.
Import path
import codeql.dataflow.internal.FlowSummaryImplpredicate interpretSpec(AccessPath spec, SummaryComponentStack stack)Holds if spec specifies summary component stack stack.
import codeql.dataflow.internal.FlowSummaryImplpredicate interpretSpec(AccessPath spec, SummaryComponentStack stack)