PropCheck.StateM.DSL.command_names

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

Specs

command_names(cmds :: [command()]) :: [mfa()]

Takes a list of generated commands and returns a list of mfa-tuples. This can be used for aggregation of commands.