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.