Nuprl Definition : new_23_sig_vote2retry
new_23_sig_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 :
new_23_sig_vote2retry
Latex:
new\_23\_sig\_vote2retry(Cmd) == \mlambda{}loc,z. let z,sender = z in let ni,c = z in \{<ni, c>\}
Date html generated:
2015_07_23-PM-03_50_59
Last ObjectModification:
2013_11_23-PM-09_55_12
Home
Index