Predicate Make::Private::unsupportedCallable
Holds if callable has an unsupported flow input -> output.
whichOne indicates if the input or output contains the unsupported sequence.
Import path
import codeql.dataflow.internal.FlowSummaryImplpredicate unsupportedCallable(SummarizedCallableImpl callable, SummaryComponentStack input, SummaryComponentStack output, string whichOne)