Nuprl Definition : rsc3_when_new_proposal

rsc3_when_new_proposal(Cmd) ==
  loc,zk.let n,c = zk 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 :  rsc3_when_new_proposal
rsc3\_when\_new\_proposal(Cmd)  ==
    \mlambda{}loc,zk.
      let  n,c  =  zk 
      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-04_14_22
Last ObjectModification: 2012_02_02-PM-02_04_21

Home Index