Nuprl Definition : ohc_v2

Nuprl Definition : ohc_v2_SendVotes

ohc_v2_SendVotes(Cmd;locs) ==

ni,cmdU.send-once-loc-class(

loc.(ohc_v2_vote'broadcast(Cmd) locs <<ni, cmdU>, loc>))

Definitions occuring in Statement : ohc_v2_vote'broadcast: ohc_v2_vote'broadcast(Cmd), send-once-loc-class: send-once-loc-class(b), apply: f a, lambda:

x.A[x], pair: <a, b>
FDL editor aliases : ohc_v2_SendVotes

ohc\_v2\_SendVotes(Cmd;locs) == \mlambda{}ni,cmdU.send-once-loc-class(\mlambda{}loc.(ohc\_v2\_vote'broadcast(Cmd) locs <<ni, cmdU>, loc>)) Date html generated: 2012_02_20-PM-05_47_52 Last ObjectModification: 2012_02_17-PM-10_23_00 Home Index