mb state machine Sections GenAutomata Doc

Def Top == Void given Void

is mentioned

In prior sections: mb basic mb declaration

Try larger context: GenAutomata

mb state machine Sections GenAutomata Doc