PrintForm Definitions mb state machine Sections GenAutomata Doc

At: sm a rename state

M:sm{i:l}(), f:(LabelLabel), s:(f o M).state. s M.state
By:
Unfolds [`sm_state`;`sm_a_rename`] 0
THEN
Reduce 0
Generated subgoals:

None

About:
functionmemberall

PrintForm Definitions mb state machine Sections GenAutomata Doc