Nuprl Definition : rsc5_when_new_proposal

rsc5_when_new_proposal(Cmd) ==
  loc,zm.let n,c = zm in z.let max,missing = z in if max <z n deq-member(IntDeq;n;missing) then {<n, c>} else {} fi 



Definitions occuring in Statement :  bor: 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> deq-member: deq-member(eq;x;L) int-deq: IntDeq single-bag: {x} empty-bag: {}
FDL editor aliases :  rsc5_when_new_proposal

rsc5\_when\_new\_proposal(Cmd)  ==
    \mlambda{}loc,zm.
      let  n,c  =  zm 
      in  \mlambda{}z.let  max,missing  =  z 
                  in  if  max  <z  n  \mvee{}\msubb{}deq-member(IntDeq;n;missing)  then  \{<n,  c>\}  else  \{\}  fi 


Date html generated: 2012_02_20-PM-05_09_06
Last ObjectModification: 2012_02_02-PM-02_19_38

Home Index