Nuprl Definition : new_23_sig_add_to_quorum

new_23_sig_add_to_quorum(Cmd) ==
  λni,loc,vt,state. if new_23_sig_newvote(Cmd) ni vt state then new_23_sig_addvote(Cmd) vt state else state fi 


Definitions occuring in Statement :  new_23_sig_addvote: new_23_sig_addvote(Cmd),  new_23_sig_newvote: new_23_sig_newvote(Cmd),  ifthenelse: if b then t else f fi ,  apply: f a,  lambda: λx.A[x]
FDL editor aliases :  new_23_sig_add_to_quorum
Latex:
new\_23\_sig\_add\_to\_quorum(Cmd)  ==
    \mlambda{}ni,loc,vt,state.  if  new\_23\_sig\_newvote(Cmd)  ni  vt  state
                                      then  new\_23\_sig\_addvote(Cmd)  vt  state
                                      else  state
                                      fi 


Date html generated: 2015_07_23-PM-03_50_34
Last ObjectModification: 2013_11_23-PM-09_54_45

Home Index