Predicate PromiseTypeTracking :: promiseStep
Gets the result from a single step through a promise, from pred to result summarized by summary.
This can be loading a resolved value from a promise, storing a value in a promise, or copying a resolved value from one promise to another.
These type-tracking steps are already included in the default type-tracking steps (through PreCallGraphStep).
Import path
import javascript
Node
promiseStep
(
Node
pred
,
StepSummary
summary
)