Nuprl Definition : new_23_sig_decision

new_23_sig_decision(Cmd;clients;notify;propose;f) ==
  λn,loc,z. let m,c = z in if (m =z n) then new_23_sig_notify'broadcast(Cmd;notify;propose;f) clients <m, c> else {} fi 


Definitions occuring in Statement :  new_23_sig_notify'broadcast: new_23_sig_notify'broadcast(Cmd;notify;propose;f),  ifthenelse: if b then t else f fi ,  eq_int: (i =z j),  apply: f a,  lambda: λx.A[x],  spread: spread def,  pair: <a, b>,  empty-bag: {}
FDL editor aliases :  new_23_sig_decision
Latex:
new\_23\_sig\_decision(Cmd;clients;notify;propose;f)  ==
    \mlambda{}n,loc,z.  let  m,c  =  z 
                        in  if  (m  =\msubz{}  n)  then  new\_23\_sig\_notify'broadcast(Cmd;notify;propose;f)  clients  <m,  c>  els\000Ce  \{\}  fi 


Date html generated: 2015_07_23-PM-03_51_30
Last ObjectModification: 2013_11_23-PM-09_55_47

Home Index