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 semmle.javascript.frameworks.Reduxpredicate reducerToStateStep(Node pred, Node succ)Holds if pred -> succ should be a step from a reducer to a state access affected by the reducer.
import semmle.javascript.frameworks.Reduxpredicate reducerToStateStep(Node pred, Node succ)