---

is-consensus-message(e) ==
  case e of inl(x) => ff | inr(x) => case x of inl(y) => ff | inr(z) => tt

---

Definitions :  decide: case b of inl(x) => s[x] | inr(y) => t[y],  bfalse: ff,  btrue: tt
FDL editor aliases :  is-consensus-message

---

is-consensus-message(e)  ==    case  e  of  inl(x)  =>  ff  |  inr(x)  =>  case  x  of  inl(y)  =>  ff  |  inr(z)  =>  tt


Date html generated: 2010_08_27-AM-12_55_10
Last ObjectModification: 2009_12_23-PM-03_29_48

Home Index