PropCheck.StateM.DSL.initial_state

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

Specs

initial_state() :: symbolic_state()

The initial state of the state machine is computed by this callback.