mb automata 3 Sections GenAutomata Doc

Def tree_node(x) == inr(x)

is mentioned

In prior sections: mb tree

Try larger context: GenAutomata

mb automata 3 Sections GenAutomata Doc