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

Generates the command list for the given module