mb hybrid Sections GenAutomata Doc

Def sender(MS) == 1of(2of(2of(2of(MS))))

is mentioned

In prior sections: mb structures

Try larger context: GenAutomata

mb hybrid Sections GenAutomata Doc