Nuprl Definition : rsc4_when_new_round

rsc4_when_new_round(Cmd) ==
  n,loc,z.let z,c = z in let m,i = z in round.if (IntDeq n m)  round <z i then {<<m, i>, c>} else {} 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,  pair: <a, b>,  int-deq: IntDeq,  single-bag: {x},  empty-bag: {}
FDL editor aliases :  rsc4_when_new_round
rsc4\_when\_new\_round(Cmd)  ==
    \mlambda{}n,loc,z.
      let  z,c  =  z 
      in  let  m,i  =  z 
            in  \mlambda{}round.if  (IntDeq  n  m)  \mwedge{}\msubb{}  round  <z  i  then  \{<<m,  i>,  c>\}  else  \{\}  fi 


Date html generated: 2012_02_20-PM-04_48_46
Last ObjectModification: 2012_02_02-PM-02_08_57

Home Index