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