MarkB
generic
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)
No mentions to report in MarkB_generic.
MarkB
generic
Sections
NuprlLIB
Doc
y ; b.l' list_accum(x,a.f(x;a);f(y;b);l') (recursive)