PropCheck.FSM.state_names

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

Specs

state_names(history()) :: [state_name()]

Extracts the names of the states from a given command execution history.

It is useful in combination with functions such as PropCheck.aggregate/2 in order to collect statistics about state transitions during command execution.