PropCheck.FSM.weight

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

weight(from, target, call)

View Source (optional)

Specs

weight(from :: state_name(), target :: state_name(), call :: symbolic_call()) ::
  integer()

This is an optional callback. When it is not defined (or not exported), transitions are chosen with equal probability. When it is defined, it assigns an integer weight to transitions from from to target triggered by symbolic call call. In this case, each transition is chosen with probability proportional to the weight assigned.