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