Nuprl Definition : ohc_v1_addvote

ohc_v1_addvote() ==  zd.let ze,sender = zd in let ni,x = ze in z.let cmds,z = z in <[x / cmds], [sender / z]>


Definitions occuring in Statement :  lambda: x.A[x],  spread: spread def,  pair: <a, b>,  cons: [car / cdr]
FDL editor aliases :  ohc_v1_addvote ohc_v1_addvote
ohc\_v1\_addvote()  ==
    \mlambda{}zd.let  ze,sender  =  zd 
            in  let  ni,x  =  ze 
                  in  \mlambda{}z.let  cmds,z  =  z 
                              in  <[x  /  cmds],  [sender  /  z]>


Date html generated: 2012_02_20-PM-05_21_08
Last ObjectModification: 2012_02_13-PM-12_55_14

Home Index