Nuprl Definition : new_23_sig_addvote
new_23_sig_addvote(Cmd) ==
λzf,z. let zg,sender = zf in let ni,c = zg in let cmds,locs = z in <[c / cmds], [sender / locs]>
Definitions occuring in Statement :
cons: [a / b],
lambda: λx.A[x],
spread: spread def,
pair: <a, b>
FDL editor aliases :
new_23_sig_addvote
Latex:
new\_23\_sig\_addvote(Cmd) ==
\mlambda{}zf,z. let zg,sender = zf in let ni,c = zg in let cmds,locs = z in <[c / cmds], [sender / locs]>
Date html generated:
2015_07_23-PM-03_50_32
Last ObjectModification:
2013_11_23-PM-09_54_44
Home
Index