mb automata 2 Sections GenAutomata Doc

Def tr | P == filter(x.P(kind(x));tr)

is mentioned

In prior sections: mb events mb automata 1

Try larger context: GenAutomata

mb automata 2 Sections GenAutomata Doc