mb automata 4 Sections GenAutomata Doc

Def col_subst(c;r) == col_map_subst(as.rel_subst(as;r); < zip(rel_vars(r);s) | s col_list_prod(map(c;rel_vars(r))) > )

is mentioned

In prior sections: mb automata 3

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc