Predicate PromiseTypeTracking :: promiseStep
Gets the result from a single step through a promise, from pred
with tracker t2
to result
with tracker t
.
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.
Import path
import javascript
SourceNode
promiseStep
(
SourceNode
pred
,
TypeTracker
t
,
TypeTracker
t2
)