mb hybrid Sections GenAutomata Doc

Def Top == Void given Void

is mentioned

In prior sections: mb events mb automata 1 mb basic mb structures mb declaration

Try larger context: GenAutomata

mb hybrid Sections GenAutomata Doc