---

consensus-state2(T) ==  T + T + Top

---

Definitions :  union: left + right,  top: Top
FDL editor aliases :  consensus-state2

---

consensus-state2(T)  ==    T  +  T  +  Top


Date html generated: 2010_08_27-AM-12_26_33
Last ObjectModification: 2009_12_23-PM-03_20_37

Home Index