PropCheck.FSM.initial_state

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

Specs

initial_state() :: state_name()

Specifies the initial state of the finite state machine. As with PropCheck.StateM.initial_state/0, its result should be deterministic.