Predicate TypeTracking::step
Import path
import codeql.typetracking.internal.TypeTrackingImpl
predicate step(LocalSourceNode nodeFrom, LocalSourceNode nodeTo, StepSummary summary)
import codeql.typetracking.internal.TypeTrackingImpl
predicate step(LocalSourceNode nodeFrom, LocalSourceNode nodeTo, StepSummary summary)