---

consensus-accum(s;e) ==
  let i,est,knw = s in 
  case e
  of inl(x) => <i + 1, est, knw>
   | inr(x) => case x
               of inl(v) => <i, est  i : v, knw>
                | inr(k) => let b,i',z = k in 
                            <i, est, b : <i', z>  knw>

---

Definitions :  add: n + m,  natural_number: $n,  decide: case b of inl(x) => s[x] | inr(y) => t[y],  int-deq: IntDeq,  spreadn: spread3,  fpf-join: f  g,  id-deq: IdDeq,  fpf-single: x : v,  pair: <a, b>
FDL editor aliases :  consensus-accum

---

consensus-accum(s;e)  ==
    let  i,est,knw  =  s  in 
    case  e
    of  inl(x)  =>  <i  +  1,  est,  knw>
      |  inr(x)  =>  case  x
                              of  inl(v)  =>  <i,  est  \moplus{}  i  :  v,  knw>
                                |  inr(k)  =>  let  b,i',z  =  k  in 
                                                        <i,  est,  b  :  <i',  z>  \moplus{}  knw>


Date html generated: 2010_08_27-AM-12_55_19
Last ObjectModification: 2009_12_23-PM-03_30_38

Home Index