---

three-consensus-ref-map(v0;t;f) ==
  s,a.(fst(consensus-rcvs-to-consensus-events(f;t;v0;s a)))

---

Definitions :  lambda: x.A[x],  pi1: fst(t),  consensus-rcvs-to-consensus-events: consensus-rcvs-to-consensus-events(f;t;v0;L),  apply: f a
FDL editor aliases :  three-consensus-ref-map

---

three-consensus-ref-map(v0;t;f)  ==    \mlambda{}s,a.(fst(consensus-rcvs-to-consensus-events(f;t;v0;s  a)))


Date html generated: 2010_08_27-AM-01_03_11
Last ObjectModification: 2009_12_23-PM-03_35_13

Home Index