PropCheck.FSM.more_commands

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

more_commands(n, cmd_type)

View Source

See PropCheck.StateM.more_commands/2.