mb structures Sections GenAutomata Doc

Def reduce(f;k;as) == Case of as; nil k ; a.as' f(a,reduce(f;k;as')) (recursive)

is mentioned

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

Try larger context: GenAutomata

mb structures Sections GenAutomata Doc