PropCheck.StateM.next_state

You're seeing just the callback next_state, go back to PropCheck.StateM module for more information.
Link to this callback

next_state(s, res, call)

View Source

Specs

next_state(
  s :: symbolic_state() | dynamic_state(),
  res :: term(),
  call :: symbolic_call()
) :: symbolic_state() | dynamic_state()

Specifies the next state of the abstract state machine, given the current state s, the symbolic call chosen and its result res. This function is called both at command generation and command execution time in order to update the model state, therefore the state s and the result Res can be either symbolic or dynamic.