PropCheck.StateM.DSL.commands
You're seeing just the function
commands
, go back to PropCheck.StateM.DSL module for more information.
This function is deprecated. This module is deprecated, use `PropCheck.StateM.ModelDSL` instead!.
Specs
commands(module()) :: PropCheck.BasicTypes.type()
Generates the command list for the given module