Predicate Redux::actionToReducerStep
Holds if pred -> succ
is step from an action creation to its use in a reducer function.
Import path
import javascript
predicate actionToReducerStep(Node pred, Node succ)
Holds if pred -> succ
is step from an action creation to its use in a reducer function.
import javascript
predicate actionToReducerStep(Node pred, Node succ)