---

int_consensus_test(s) ==
  let b,i,as,vs,w = s in if b then inl <i - 1, w>  else inr 0  fi 

---

Definitions :  spreadn: let a,b,c,d,e = u in v[a; b; c; d; e],  ifthenelse: if b then t else f fi ,  inl: inl x ,  pair: <a, b>,  subtract: n - m,  inr: inr x ,  natural_number: $n
FDL editor aliases :  int_consensus_test

---

int\_consensus\_test(s)  ==    let  b,i,as,vs,w  =  s  in  if  b  then  inl  <i  -  1,  w>    else  inr  0    fi 


Date html generated: 2010_08_27-AM-12_57_54
Last ObjectModification: 2009_12_23-PM-03_32_58

Home Index