Nuprl Definition : ohc_v2_when_new_round

ohc_v2_when_new_round(Cmd) ==
  n,loc,z.let z,c = z in let m,i = z in round.if (n = m)  round <z i then {<<m, i>, c>} else {} fi 


Definitions occuring in Statement :  eq_int: (i = j),  band: p  q,  lt_int: i <z j,  ifthenelse: if b then t else f fi ,  lambda: x.A[x],  spread: spread def,  pair: <a, b>,  single-bag: {x},  empty-bag: {}
FDL editor aliases :  ohc_v2_when_new_round
ohc\_v2\_when\_new\_round(Cmd)  ==
    \mlambda{}n,loc,z.
      let  z,c  =  z 
      in  let  m,i  =  z 
            in  \mlambda{}round.if  (n  =\msubz{}  m)  \mwedge{}\msubb{}  round  <z  i  then  \{<<m,  i>,  c>\}  else  \{\}  fi 


Date html generated: 2012_02_20-PM-05_49_22
Last ObjectModification: 2012_02_17-PM-10_24_04

Home Index