Predicate Redux::reducerToStateStep

Holds if pred -> succ should be a step from a reducer to a state access affected by the reducer.

Import path

import javascript

predicate reducerToStateStep(Node pred, Node succ)