fpf-accum(z,a,v.f[z; a; v];y;x) == list_accum(z,a.f[z; a; (snd(x)) a];y;fst(x))
Definitions :
list_accum: list_accum(x,a.f[x; a];y;l),
apply: f a,
pi2: snd(t),
pi1: fst(t)
FDL editor aliases :
fpf-accum
fpf-accum(z,a,v.f[z; a; v];y;x) == list\_accum(z,a.f[z; a; (snd(x)) a];y;fst(x))
Date html generated:
2010_08_26-PM-11_58_15
Last ObjectModification:
2008_02_27-PM-09_43_40
Home
Index