mb automata 4 Sections GenAutomata Doc

Def x ls == reduce(a,b. x = a b;false;ls)

is mentioned

In prior sections: mb label mb automata 2

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc