---

simple_consensus_init() ==  <[], 0>

---

Definitions :  pair: <a, b>,  nil: [],  natural_number: $n
FDL editor aliases :  simple_consensus_init

---

simple\_consensus\_init()  ==    <[],  0>


Date html generated: 2010_08_27-PM-08_31_12
Last ObjectModification: 2010_06_23-PM-11_59_34

Home Index