Nuprl Definition : new_23_sig_when_quorum

new_23_sig_when_quorum(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) ==
  λni,loc,vt,state. if new_23_sig_newvote(Cmd) ni vt state
                   then new_23_sig_roundout(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) loc vt state
                   else {}
                   fi 


Definitions occuring in Statement :  new_23_sig_newvote: new_23_sig_newvote(Cmd),  new_23_sig_roundout: new_23_sig_roundout(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f),  ifthenelse: if b then t else f fi ,  apply: f a,  lambda: λx.A[x],  empty-bag: {}
FDL editor aliases :  new_23_sig_when_quorum
Latex:
new\_23\_sig\_when\_quorum(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f)  ==
    \mlambda{}ni,loc,vt,state.  if  new\_23\_sig\_newvote(Cmd)  ni  vt  state
                                      then  new\_23\_sig\_roundout(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f)  loc  vt  state
                                      else  \{\}
                                      fi 


Date html generated: 2015_07_23-PM-03_50_36
Last ObjectModification: 2013_11_23-PM-09_54_47

Home Index