Predicate signature MakeImplCommon::relevantCallEdgeIn
Holds if the edge is possibly needed in the direction call to c.
Import path
import codeql.dataflow.internal.DataFlowImplCommonsignature predicate relevantCallEdgeIn(DataFlowCall call, DataFlowCallable c)