Nuprl Definition : RSC_new_proposal
RSC_new_proposal() == 
zr.let n,c = zr in z.let max,missing = z in max <z n 
deq-member(IntDeq;n;missing)
Definitions occuring in Statement :
bor: p q,
lt_int: i <z j,
lambda: x.A[x],
spread: spread def,
deq-member: deq-member(eq;x;L),
int-deq: IntDeq
FDL editor aliases :
RSC_new_proposal
RSC\_new\_proposal() ==
\mlambda{}zr.let n,c = zr
in \mlambda{}z.let max,missing = z
in max <z n \mvee{}\msubb{}deq-member(IntDeq;n;missing)
Date html generated:
2012_02_20-PM-04_00_23
Last ObjectModification:
2012_02_02-PM-01_58_51
Home
Index