Module StepSummary

Provides predicates for updating step summaries (StepSummarys).

Import path

import codeql.ruby.typetracking.TypeTracker

smallstep	Gets the summary that corresponds to having taken a forwards local, heap and/or inter-procedural step from `nodeFrom` to `nodeTo`.
step	Gets the summary that corresponds to having taken a forwards heap and/or inter-procedural step from `nodeFrom` to `nodeTo`.

Holds if nodeFrom is being written to the content of the object in nodeTo.