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
)