mb structures Sections GenAutomata Doc

Def map(f;as) == Case of as; nil nil ; a.as' [(f(a)) / map(f;as')] (recursive)

is mentioned by

Def P o evt(L) == P(map(evt;L))[compose_map]

In prior sections: list 1 mb list 1 mb list 2

Try larger context: GenAutomata

mb structures Sections GenAutomata Doc