Nuprl Definition : bag-accum

bag-accum(v,x.f[v; x];init;bs) ==
  accumulate (with value v and list item x):
   f[v; x]
  over list:
    bs
  with starting value:
   init)

Definitions occuring in Statement : list_accum: list_accum
Definitions occuring in definition : list_accum: list_accum
FDL editor aliases : bag-accum

Latex:
bag-accum(v,x.f[v; x];init;bs) == accumulate (with value v and list item x): f[v; x] over list: bs with starting value: init) Date html generated: 2016_05_15-PM-02_29_56 Last ObjectModification: 2015_09_23-AM-07_39_17 Theory : bags Home Index