PropCheck.StateM.DSL.command_names
You're seeing just the function
command_names
, go back to PropCheck.StateM.DSL module for more information.
Specs
Takes a list of generated commands and returns a list of mfa-tuples. This can be used for aggregation of commands.