mb automata 4 Sections GenAutomata Doc

Def (first x as s.t. P(x) else d) == Case of filter(x.P(x);as); nil d ; a.b a

is mentioned

In prior sections: mb list 2 mb automata 1

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc