Predicate TypeTracking::Cached::prepend
Gets the summary resulting from prepending step
to this type-tracking summary.
Import path
import codeql.typetracking.internal.TypeTrackingImpl
TypeBackTracker prepend(TypeBackTracker tbt, StepSummary step)
Gets the summary resulting from prepending step
to this type-tracking summary.
import codeql.typetracking.internal.TypeTrackingImpl
TypeBackTracker prepend(TypeBackTracker tbt, StepSummary step)