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