GenAutomata
Sections
NuprlLIB
Doc
Def
list_accum(x,a.f(x;a);y;l) == Case of l; nil
y ; b.l'
list_accum(x,a.f(x;a);f(y;b);l') (recursive)
is mentioned
In prior sections:
mb
automata
3
GenAutomata
Sections
NuprlLIB
Doc
y ; b.l' list_accum(x,a.f(x;a);f(y;b);l') (recursive)