Nuprl Definition : consensus-accum-num-state

consensus-accum-num-state(t;f;v0;L) ==
  accumulate (with value s and list item r):
   consensus-accum-num((2 * t) + 1;f;s;r)
  over list:
    L
  with starting value:
   <ff, 0, [], [], v0>)

Definitions occuring in Statement : consensus-accum-num: consensus-accum-num(num;f;s;r), list_accum: list_accum, nil: [], bfalse: ff, pair: <a, b>, multiply: n * m, add: n + m, natural_number: $n
FDL editor aliases : consensus-accum-num-state
consensus-accum-num-state(t;f;v0;L) == accumulate (with value s and list item r): consensus-accum-num((2 * t) + 1;f;s;r) over list: L with starting value: <ff, 0, [], [], v0>) Date html generated: 2015_07_17-AM-11_49_22 Last ObjectModification: 2012_02_25-AM-11_50_26 Home Index