PropCheck.FSM.next_state_data

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

next_state_data(from, target, state_data, result, call)

View Source

Specs

next_state_data(
  from :: state_name(),
  target :: state_name(),
  state_data :: state_data(),
  result :: result(),
  call :: symbolic_call()
) :: state_data()

Similar to PropCheck.StateM.next_state/3. Specifies how the transition from from to target triggered by call affects the state_data. res refers to the result of call and can be either symbolic or dynamic.