mb hybrid Sections GenAutomata Doc

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

is mentioned

In prior sections: mb basic mb tree mb automata 1

Try larger context: GenAutomata

mb hybrid Sections GenAutomata Doc