Predicate MakeImplStage1::ImplStage1::FlowExploration::Public::PartialPathGraph::edges
Holds if (a,b) is an edge in the graph of data flow path explanations.
Import path
import codeql.dataflow.internal.DataFlowImplStage1predicate edges(PartialPathNode a, PartialPathNode b)