mb state machine Sections GenAutomata Doc

Def Case(value) body == body(value,value)

is mentioned

In prior sections: mb basic

Try larger context: GenAutomata

mb state machine Sections GenAutomata Doc