PropCheck.StateM.state_after

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

Returns the symbolic state after running a given command sequence, according to the state machine specification found in mod.

The commands are not actually executed.