Predicate Vuex::stateMutationStep
Holds if pred -> succ is a step from state mutation to state access.
Import path
import javascriptpredicate stateMutationStep(Node pred, Node succ)Holds if pred -> succ is a step from state mutation to state access.
import javascriptpredicate stateMutationStep(Node pred, Node succ)