Nuprl Definition : rsc5_update_round

rsc5_update_round(Cmd) ==
  n,z.let z,c = z in let m,i = z in round.if (eqof(IntDeq) n m)  round <z i then i else round fi 


Definitions occuring in Statement :  band: 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,  int-deq: IntDeq,  eqof: eqof(d)
FDL editor aliases :  rsc5_update_round
rsc5\_update\_round(Cmd)  ==
    \mlambda{}n,z.
      let  z,c  =  z 
      in  let  m,i  =  z 
            in  \mlambda{}round.if  (eqof(IntDeq)  n  m)  \mwedge{}\msubb{}  round  <z  i  then  i  else  round  fi 


Date html generated: 2012_02_20-PM-05_07_05
Last ObjectModification: 2012_02_02-PM-02_18_45

Home Index