PropCheck.StateM.ModelDSL.def_next_states

You're seeing just the function def_next_states, go back to PropCheck.StateM.ModelDSL module for more information.
Link to this function

def_next_states(commands)

View Source