Predicate DataFlow::SharedTypeTrackingStep::storeStep
Holds if type-tracking should step from pred into the prop property of succ.
Import path
import javascriptpredicate storeStep(Node pred, SourceNode succ, string prop)Holds if type-tracking should step from pred into the prop property of succ.
import javascriptpredicate storeStep(Node pred, SourceNode succ, string prop)