Nuprl Definition : csm-state

csm-state(sm;i;L) ==
  let C,M,A,B,G,Init,Nxt,Msg = sm in
  accumulate (with value a and list item x):
   let b,c = x
   in Nxt i a b c
  over list:
    L
  with starting value:
   Init i)

Definitions occuring in Statement : spreadn: spread8, list_accum: list_accum, apply: f a, spread: spread def
Definitions occuring in definition : spreadn: spread8, list_accum: list_accum, spread: spread def, apply: f a
FDL editor aliases : csm-state

Latex:
csm-state(sm;i;L) == let C,M,A,B,G,Init,Nxt,Msg = sm in accumulate (with value a and list item x): let b,c = x in Nxt i a b c over list: L with starting value: Init i) Date html generated: 2016_05_15-PM-05_11_07 Last ObjectModification: 2015_09_23-AM-07_52_07 Theory : general Home Index