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.