PropCheck.FSM.command_names

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

See PropCheck.StateM.command_names/1.