Predicate TypeTrackingInput::loadStep
Holds if nodeTo
is the result of accessing the content
content of nodeFrom
.
Import path
import semmle.python.dataflow.new.internal.TypeTrackingImpl
predicate loadStep(Node nodeFrom, LocalSourceNode nodeTo, Content content)