Nuprl Definition : rsc2_NewVoters

rsc2_NewVoters(Cmd) ==
  Threshold-Combinator(rsc2_new_proposal(Cmd);rsc2_Proposal(Cmd);rsc2_init() 
                                                                 <0, []>;rsc2_onnewpropose(Cmd);rsc2_thr_out())


Definitions occuring in Statement :  rsc2_new_proposal: rsc2_new_proposal(Cmd),  rsc2_Proposal: rsc2_Proposal(Cmd),  rsc2_onnewpropose: rsc2_onnewpropose(Cmd),  rsc2_thr_out: rsc2_thr_out(),  rsc2_init: rsc2_init(),  Threshold-Combinator: Threshold-Combinator(R;X;init_state;accum;f),  apply: f a,  pair: <a, b>,  nil: [],  natural_number: $n
FDL editor aliases :  rsc2_NewVoters
rsc2\_NewVoters(Cmd)  ==
    Threshold-Combinator(rsc2\_new\_proposal(Cmd);rsc2\_Proposal(Cmd);rsc2\_init() 
                                                                                                                                  ɘ,  []>rsc2\_onnewpropose(Cmd);...)


Date html generated: 2012_02_20-PM-04_44_13
Last ObjectModification: 2012_02_02-PM-02_06_40

Home Index