Predicate PromiseFlow :: loadStoreStep
Holds if there is a step copying a resolved/rejected promise value from promise pred
to promise succ
.
prop
is either valueProp()
if the value is a resolved value, or errorProp()
if the promise has been rejected.
Import path
import javascript
predicate
loadStoreStep
(
Node
pred
,
Node
succ
,
string
prop
)