mb automata 4 Sections GenAutomata Doc

Def < x c | P(x) > (x) == x c & P(x)

is mentioned

In prior sections: mb collection mb automata 2

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc