Predicate TypeTracking::TypeTrack::Graph::edges

Holds if (p1, p2) is an edge in a path between a source and a sink.

Import path

import codeql.typetracking.internal.TypeTrackingImpl

predicate edges(PathNode n1, PathNode n2)