---

consensus-state1(V) ==  V + Top

---

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

---

consensus-state1(V)  ==    V  +  Top


Date html generated: 2010_08_27-AM-12_26_19
Last ObjectModification: 2009_12_23-PM-03_20_18

Home Index