Predicate TypeTracking::CallGraphConstruction::Make::track
Gets a node that can be reached from some start node in state state.
Import path
import codeql.typetracking.internal.TypeTrackingImplGets a node that can be reached from some start node in state state.
import codeql.typetracking.internal.TypeTrackingImpl