mb automata 4 Sections GenAutomata Doc

Def (r)' == mk_rel(r.name, map(t.(t)';r.args))

is mentioned

In prior sections: mb automata 2 mb automata 3

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc