PropCheck.StateM.ModelDSL.command_names

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

Extracts the names of the commands from a given command sequence, in the form of MFAs.

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