Nuprl Definition : dep-accum

dep-accum(L,b.f[L; b];a,bb.g[a; bb];bs) ==
  accumulate (with value and list item b):
   let f[L; b] in [<a, b, g[a; b]>]
  over list:
  with starting value:

Definitions occuring in Statement :  append: as bs list_accum: list_accum cons: [a b] nil: [] let: let pair: <a, b>
Definitions occuring in definition :  list_accum: list_accum append: as bs let: let cons: [a b] pair: <a, b> nil: []
FDL editor aliases :  dep-accum

dep-accum(L,b.f[L;  b];a,bb.g[a;  bb];bs)  ==
    accumulate  (with  value  L  and  list  item  b):
      L  @  let  a  =  f[L;  b]  in  [<a,  b,  g[a;  b]>]
    over  list:
    with  starting  value:

Date html generated: 2020_05_19-PM-09_51_30
Last ObjectModification: 2020_03_09-PM-00_46_28

Theory : list_1

Home Index