GenAutomata Sections NuprlLIB 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


GenAutomata Sections NuprlLIB Doc