Nuprl Definition : merge-int-accum

merge-int-accum(as;bs) ==  eager-accum(l,b.insert-int(b;l);as;bs)


Definitions occuring in Statement :  eager-accum: eager-accum(x,a.f[x; a];y;l),  insert-int: insert-int(x;l)
Definitions occuring in definition :  eager-accum: eager-accum(x,a.f[x; a];y;l),  insert-int: insert-int(x;l)
FDL editor aliases :  merge-int-accum
Latex:
merge-int-accum(as;bs)  ==    eager-accum(l,b.insert-int(b;l);as;bs)


Date html generated: 2017_09_29-PM-05_50_35
Last ObjectModification: 2017_05_03-PM-00_16_07

Theory : list_0


Home Index