mb automata 4 Sections GenAutomata Doc

Def Tree(E) == rec(T.tree_con(E;T))

is mentioned

In prior sections: mb tree mb automata 1

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc