Predicate TypeTrackingInput::storeStep

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

Import path

import semmle.python.dataflow.new.internal.TypeTrackingImpl

predicate storeStep(Node nodeFrom, Node nodeTo, Content content)