PropCheck.FSM.initial_data
You're seeing just the callback
initial_data
, go back to PropCheck.FSM module for more information.
Specs
initial_data() :: state_data()
Specifies what the state data should initially contain. Its result should be deterministic.