PropCheck.FSM.postcondition

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

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

View Source

Specs

postcondition(
  from :: state_name(),
  target :: state_name(),
  state_data :: state_data(),
  call :: symbolic_call(),
  result :: result()
) :: boolean()

Similar to PropCheck.StateM.postcondition/3. Specifies the postcondition that should hold about the result res of the evaluation of call.