is mentioned by

Def ioa_trans_all{i}(A;I) == < ioa_trans(A;a.lbl;I) | a A.da >

[ioa_trans_all]

In prior sections: mb collection mb automata 2 mb automata 3

Try larger context: GenAutomata