Nuprl Definition : rsc4_vote2retry
rsc4_vote2retry(Cmd) == 
loc,z.let z,sender = z in let ni,c = z in {<ni, c>}
Definitions occuring in Statement :
lambda: x.A[x],
spread: spread def,
pair: <a, b>,
single-bag: {x}
FDL editor aliases :
rsc4_vote2retry
rsc4\_vote2retry(Cmd) == \mlambda{}loc,z.let z,sender = z in let ni,c = z in \{<ni, c>\}
Date html generated:
2012_02_20-PM-04_48_21
Last ObjectModification:
2012_02_02-PM-02_08_46
Home
Index