Nuprl Definition : rsc4_update_replica

rsc4_update_replica(Cmd) ==
  zj.let n,c = zj 
      in z.let max,missing = z 
            in if max <z n deq-member(IntDeq;n;missing)
               then rsc4_onnewpropose(Cmd) <n, c> <max, missing>
               else <max, missing>
               fi 


Definitions occuring in Statement :  rsc4_onnewpropose: rsc4_onnewpropose(Cmd),  bor: p q,  lt_int: i <z j,  ifthenelse: if b then t else f fi ,  apply: f a,  lambda: x.A[x],  spread: spread def,  pair: <a, b>,  deq-member: deq-member(eq;x;L),  int-deq: IntDeq
FDL editor aliases :  rsc4_update_replica
rsc4\_update\_replica(Cmd)  ==
    \mlambda{}zj.let  n,c  =  zj 
            in  \mlambda{}z.let  max,missing  =  z 
                        in  if  max  <z  n  \mvee{}\msubb{}deq-member(IntDeq;n;missing)
                              then  rsc4\_onnewpropose(Cmd)  <n,  c>  <max,  missing>
                              else  <max,  missing>
                              fi 


Date html generated: 2012_02_20-PM-04_53_46
Last ObjectModification: 2012_02_02-PM-02_09_37

Home Index