Nuprl Definition : ohc_v1

Nuprl Definition : ohc_v1_SendVotes

ohc_v1_SendVotes(Cmd;locs) ==

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

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

Definitions occuring in Statement : ohc_v1_vote'broadcast: ohc_v1_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_v1_SendVotes

ohc\_v1\_SendVotes(Cmd;locs) == \mlambda{}ni,cmdU.send-once-loc-class(\mlambda{}loc.(ohc\_v1\_vote'broadcast(Cmd) locs <<ni, cmdU>, loc>)) Date html generated: 2012_02_20-PM-05_23_23 Last ObjectModification: 2012_02_13-PM-12_56_39 Home Index