Nuprl Definition : RSC_vote2retry
RSC_vote2retry() == 
zl,z.let x,loc = z in {x}
Definitions occuring in Statement :
lambda: x.A[x],
spread: spread def,
single-bag: {x}
FDL editor aliases :
RSC_vote2retry
RSC\_vote2retry() == \mlambda{}zl,z.let x,loc = z in \{x\}
Date html generated:
2012_02_20-PM-03_59_05
Last ObjectModification:
2012_02_02-PM-01_58_25
Home
Index