PropCheck.StateM.DSL.weight

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

weight(symbolic_state)

View Source (optional)

Specs

weight(symbolic_state()) :: %{required(command_name()) => pos_integer()}

DEPRECATED : This module is deprecated, please use PropCheck.Statem.ModelDSL instead.

The optional weights for the command generation. It takes the current model state and returns a map of command/weight pairs. Commands, which are not allowed in a specific state, should be omitted, since a frequency of 0 is not allowed.

def weight(state), do: %{x: 1, y: 1, a: 2, b: 2}